One of Elon Musk’s top priorities for Twitter following his $44 billion deal to buy the social media company is cracking down on so-called “spam bots.” One…