Minor code cleanup
Added Brazil-verification phase to TT.
Prettier debugging output
Fixed bugs in verifier.