How to Check If a Hardware Wallet Is Tamper-Proof