bench: propagate use of multithreading

* benchs/run-benchmark.sh: Here.
1 job for er/bb in 2 minutes (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Test
passed #119247
debian-stable-gcc

00:02:00