Verifying Chain-of-Thought Reasoning via Its Computational Graph