leancheck-0.6.1: Cholesterol-free property-based testing