leancheck-0.9.4: Enumerative property-based testing