QuickCheck inspired property-based testing for OCaml