Theory of Bounded Context-Switching -- Local Search Performance Guarantees for