leancheck-0.9.2: Enumerative property-based testing