When Cryptography Can't Save You: Lessons from Truebit, Ledger, and MetaMask