leancheck-0.9.1: Enumerative property-based testing