Hide some minisat debug output when verbosity = 0.