Beyond Sufficiency: Time Series Explanation with Counterfactual Necessity — ThinkLLM