Some exception specification fixes in SmtEngine/Command infrastructure
Single -q quiets messages/warnings.  Double -qq silences sat/unsat output too.