Describir: Exploring the Use of LLMs for SQL Equivalence Checking