Understanding the Role of Formal Verification in Wallet Security