Big shorters are betting $6.9B against MicroStrategy stocks