Text this: Formalize, Don't Optimize: The Heuristic Trap in LLM-Generated Combinatorial Solvers