MathVerse: Does Your Multi-modal LLM Truly See the Diagrams in Visual Math Problems? | Synapse