Add a new 'testsolve' option.