The BFX Tokens of Bitcoin Exchange Bitfinex Were Allegedly Paid Back Through Accounting Tricks