leancheck-0.6.3: Cholesterol-free property-based testing