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
failed #1142441
build: [4.12.0]


Name Stage Failure
build: [4.12.0] Build
[qcheck-ounit.0.17] downloaded from
[stdlib-shims.0.3.0] downloaded from
[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