Merge branch 'qcheck' into 'master'

Use QCheck for the random test suite

See merge request !25
1 job for master in 12 minutes and 23 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
failed #1142441
build: [4.12.0]

00:12:23

 
Name Stage Failure
failed
build: [4.12.0] Build
[qcheck-ounit.0.17] downloaded from https://github.com/c-cube/qcheck/archive/0.17.tar.gz
[stdlib-shims.0.3.0] downloaded from https://github.com/ocaml/stdlib-shims/releases/download/0.3.0/stdlib-shims-0.3.0.tbz
[ERROR] The sources of the following couldn't be obtained, aborting:
- menhir.20210419: Bad checksum
- menhirLib.20210419: Bad checksum
- menhirSdk.20210419: Bad checksum

Cleaning up file based variables
ERROR: Job failed: exit code 1