leancheck-0.8.0: Enumerative property-based testing