A prominent TikTok executive in the fight against a US ban is leaving the company