leancheck-0.4.1: Cholesterol-free property-based testing