Some new contracts...
Added memory recording to Galois benchmark.
Resolved old bug in Sim class.