gitlab-ci: Use reasonable number of quickcheck tests
100 tests is entirely insufficient to achieve reasonable coverage.
Also write buffer file to temporary directory to allow multiple concurrent runs.
100 tests is entirely insufficient to achieve reasonable coverage.
Also write buffer file to temporary directory to allow multiple concurrent runs.