Exploring the Use of LLMs for SQL Equivalence Checking