10 years of formal methods, high assurance engineering, and meticulous science didn't stop the lack of client diversity from halting the chain Ethereum fixes this