When Does LLM Self-Correction Help? A Control-Theoretic Markov Diagnostic and Verify-First Intervention