leancheck-0.9.0: Enumerative property-based testing