We need to integrate the version of quickcheck-dymanic from input-output-hk/quickcheck-dynamic#94 and see if all tests still compile and pass.

The next step would be to use the parallel actions in one of the existing tests.