added const to VerifyTotalAfterTA and NumTestCases
added include string to fix compiler errors
More formatting, more const to test case methods. Implementation should now compile on other systems