leancheck-0.7.4: Enumerative property-based testing