Upgraded version; testing results show it is more correct than the Conference Version, but this means that it is now slower for some of the testcases (specifically AGTUniv10.txt)

This is the current version of Mohawk+T: it is more correct than the conference version (see the previous emails with Ahn and Silvio for the bugs they reported), it is slower on the big tests, and it returns the wrong result for the bigger cases of NSA.