get compilerProofs to build, and WIP on cheats in it