The functionality of virtually every existing opcode proposal, every DeFi primitive in use today, and much of what exists in traditional financial markets can theoretically be built and audited in Sim...