Create a test to verify correct deployment of the verifier contracts

[nategraf]

As a check against potentially costly deployment mistakes, we should use the Forge scripting / testing system to automatically check the consistency of the deployment.toml file and the contracts deployed on-chain, allowing us to have this file be the reliably source of truth, checked into git.