eth2 quick update no. 8

Keep it coming tldr; Audit and formal verification of deposit contract bytecode completed by Runtime Verification The word of the month is "optimization" Ongoing Phase 2 research driven by Quilt and eWASM. Welcome TXRX to the table Whiteblock releases [gossipsub testing results](https://github.com/wh...