The Danger of Software Glitches in Cryptocurrencies Worth Billions