The Budget Resolution and the Senate’s Automatic Discharge Process