ColdCard's $100M Random Number Generation Hack