leancheck-0.7.2: Enumerative property-based testing