Symbolic Reasoning for Query Verification and Optimization