leancheck-0.9.10: Enumerative property-based testing