leancheck-0.7.3: Enumerative property-based testing