Citron's shorting of MicroStrategy may mean that it wants to plug the bug of unlimited financing of MicroStrategy. But the good news is that the money raised by MicroStrategy has not been spent yet, and 80% is left.