Court Orders $9 Billion Bitcoin Restitution in Bitfinex Hack Case