leancheck-0.9.6: Enumerative property-based testing