leancheck-0.6.4: Cholesterol-free property-based testing