I put "Verified" in the title because while I have run a Sandsifter on this project, I have not had time to analyze these opcodes...