How a Flawed Random Number Generator Cost $116M in Bitcoin