The U.S. government wanted a technology provider as the lead bidder on a deal for TikTok, pushing Walmart toward Microsoft and away from a consortium with SoftBank and Alphabet.