What we learned from the Ethereum flash crash