refactoring test runner code
more work refactoring
test refactoring complete
fix up more tests
fix up bug on symbolicinteger