leancheck-0.6.7: Cholesterol-free property-based testing