leancheck-0.6.0: Cholesterol-free property-based testing