The Truth Stack: Solver Networks and Recursive Verification as Infrastructure Against the Hallucination Crisis