Speed up CI with more parallelization

Just tested the Debian.x86_64 runner with

  - make -j2
  - make check -j10

instead of -j$(nproc).

The decrease in time is much, 26m15 compared to 38m15 before.

This was just a punch into the dark... possibly we can tune those values to achieve even better results.