You can't change the fundamentals that shares can't go negative, so even if you shorted all ~189 million outstanding shares worth $30.89 a share on July 12 you can't make more than the market cap of the underlying stock, so at most they could have made under $6 billion and only if they underlying shares went to the lowest value the exchange allows trading at. And their $12 million in call options isn't making anywhere near that.
You can't change the fundamentals that shares can't go negative, so even if you shorted all ~189 million outstanding shares worth $30.89 a share on July 12 you can't make more than the market cap of the underlying stock, so at most they could have made under $6 billion and only if they underlying shares went to the lowest value the exchange allows trading at. And their $12 million in call options isn't making anywhere near that.