Adding more testsolving options. Fixes #44