Some verbosity related attributes of the TerminalReporter plugin are now
read only properties.