Validation and Verification Policies for Governance of Service Choreographies