Add support for parallel proving

We currently process each test, and within each variant at a time. This causes the runner to be taking a fairly long time, even if most tests are very light and not ressource consuming.
We may want to add some parallel proving support à la paladin, to help speed-up going through the entire set of tests faster.