leancheck-0.7.6: Enumerative property-based testing