leancheck-0.7.1: Cholesterol-free property-based testing