leancheck-0.6.2: Cholesterol-free property-based testing