Vitalik Buterin proposes major Ethereum execution layer changes, including binary state trees and a possible shift from EVM ...