“Given the importance of the trial schedule, the key practical question is whether the court focuses solely on Trump’s case or endorses immunity in other instances. Smith’s gambit is a fallback that would let the court order the trial to proceed even if its opinion extends to broader principles of immunity.”