finish updating compilerProofs for new exceptions