SCOV.map: do not pass "-v" to "gnatcov map-routines"

The goal of this test driver is to detect the presence of decision map
issue ("!!!" and "***" messages), which are emitted regardless of
whether "-v" is passed.

Upcoming work will trigger the emission of "branch stats" when "-v" is
passed (it is currently enabled only when --branch-stats is passed),
and logging code for --branch-stats currently crashes or create spurious
test failures. As a workaround, do not pass "-v" anymore.

Author: pmderodat

testsuite/SCOV/map.py

@@ -54,7 +54,7 @@ def run(self):
 
         # Run xcov map-routines and check absence of errors
         mapoutput = do(maybe_valgrind([
-            XCOV, 'map-routines', '-v', f'--target={env.target.triplet}',
+            XCOV, 'map-routines', f'--target={env.target.triplet}',
             '--scos=@{}'.format(list_to_file(self.alis)),
         ] + self.execs))