SymCode: Revolutionizing Mathematical Reasoning with Verifiable Code