CI testsuite output is too verbose

As a consequence of the recent verbosity changes, the default CI output has got too verbose again as too high a verbosity level is passed to the testsuite. I will rectify this.