Reducing test verbosity (quiet should be the default, we already get
full tracebacks on failing tests).