A $99 Trezor Could Have Prevented the $70M Bitfinex Theft