Chris Hughes Publication ITP'24 Verifying Peephole Rewriting in SSA Compiler IRs Siddharth Bhat, Alex C. Keizer, Chris Hughes, Andrés Goens, Tobias Grosser