Is Cactus Stock a Buy After Its President Cashed Out 100,000 Shares Amid a Blowout Quarter?