Billions worth of Bitcoin stolen from Bitfinex in 2016 should be returned to the exchange, the Feds wrote in a filing.