Software Testing of Infrastructure as Code Engines for Secure Cloud Deployments