leancheck-0.9.12: Enumerative property-based testing