leancheck-1.0.4: Enumerative property-based testing