Fix verbosity of hlt2prcheck test
With the fix in !125 (merged), the hlt2prcheck test started failing since the VERBOSE output level was suddenly respected, which caused the qmtest machinery to consume an enourmous amount of memory.
With the fix in !125 (merged), the hlt2prcheck test started failing since the VERBOSE output level was suddenly respected, which caused the qmtest machinery to consume an enourmous amount of memory.