Release of VerX, the first functional verifier for Ethereum smart contracts.