Verification and testing of cloud infrastructure systems