Scalable Automated Proving and Debugging of Set-Based Specfications