eth2 quick update no. 8

Ethereum 2.0 development continues with Runtime Verification completing audit and formal verification of the deposit contract bytecode. The update highlights ongoing optimization efforts and Phase 2 research by Quilt and eWASM teams, with TXRX joining development efforts.