Implement default options for solvers and set no verbosity as default #151
Description
While working on #144, I had the issue of telling all solvers to shut up. Since they don't all accept verbose = 0, or all use the logging, there needs to be some checking on the solver name or type.
One simple solution is to create a dict on the solver name.
Another, that I used here, is to create a function that dispatches on the solver type.
Another is to make sure that all our solvers and wrappers accept verbose::Int and translate adequately. This might be infeasible to do right.