leancheck-0.7.7: Enumerative property-based testing