Vitalik Buterin proposes lean Ethereum upgrade slashing validator state 95%