More option tests. Simplify TypedSolverOption by getting rid of specializations and moving functionality that differs by types to OptionHelper.