Old version of ABI verification proofs

I'm about to break the build on master pretty badly as I go through and clean up the proofs. The old version where the proofs go through can be found at this tag.