The world’s third-largest public pension fund has just bought about $34 million in shares of MicroStrategy. The National…