leancheck-0.9.3: Enumerative property-based testing