testall runs
cleaned up some contracts/structs in the a-infs now that
debugging of the framework is mostly done, started moving
tests of the src/ directory into the tests for the
entire framework, cleaned up print statements, and
cleaned up requires