Draft: Add QuickChick to the project.
THIS DEPENDS ON OCAML 4.13 DO NOT MERGE YET
(the CI will fail because it's using OCaml 4.12
Edited by Daniel Hilst
THIS DEPENDS ON OCAML 4.13 DO NOT MERGE YET
(the CI will fail because it's using OCaml 4.12