Solvers now use global verbosity state.