ALGOGEN: Tool-Generated Verifiable Traces for Reliable Algorithm Visualization (ArXiv cs.GR Recent Papers, 2026)