Update verifying-pacts.md