South Korea’s public pension fund has just increased its crypto exposure by buying tens of thousands of shares in MicroStrategy.