leancheck-0.7.0: Cholesterol-free property-based testing