Pre-Deployment Verification of Infrastructure as Code