Refactor options
Mover VersionOption and WantsolOption tests to basic_solver_test
Improve error reporting in case of invalid arguments passed to Add*Option