Twitter engineering boss quits day after DeSantis launch glitches