Auditing AI models for Verified Deployment under Semantic Specifications