Cleaning up APIs for solver and adding more basic tests.