Zcash Bug Demonstrates the Difficulty of Auditing Complex Cryptocurrencies