The Venezuelans, labeled terrorists and violent criminals by President Trump, had been deported to the notorious CECOT prison, setting off a legal battle over executive power.