leancheck-0.9.8: Enumerative property-based testing