Warren Buffett cashed in his monster bet on Microsoft buying Activision Blizzard – but left some money on the table