Concolic test suite keeps the constraint index updated for each site, in case the testing is stopped early.
Remove some debug info from output.
Add new test lists.
Removed bug in constraint logging from d3f1495a and removed default parameters from the test functions to make this type of bug more obvious.