What a WeChat ban could mean for millions of U.S. users