leancheck-0.3.0: Cholesterol-free property-based testing