SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification