leancheck-0.5.0: Cholesterol-free property-based testing