Jim Chanos profited by shorting the premium of MSTR to its BTC, but he missed out on the final, exceptionally profitable leg of that trade.