Runaway batch executor pool size
In runaway, the pool-size of the executor is currently set to one as can be seen there:
https://gitlab.inria.fr/apere/orchestra/blob/master/runaway-cli/src/main.rs#L380
We should lift this limitation to allow runaway to use as much threads as possible.