add throw() declarations to keep clang happy
tidy up solver. make incremental solving work
remove dead include
update debug printers
make DebugHelper a friend of SolverImpl
remove unused include
tweak testing script