Create verifying-pacts.md