leancheck-1.0.2: Enumerative property-based testing