leancheck-0.6.6: Cholesterol-free property-based testing