Court orders return of $9.3B in bitcoins to Bitfinex, stemming from historic 2016 crypto heist and recovery efforts.