One of the Biggest Bitcoin Whales in History Just Cashed Out $9 Billion