leancheck-1.0.0: Enumerative property-based testing