From the EVM, to full clients, to smart contract languages, what are all the formal verification efforts happening in the Ethereum ecosystem? WIP