CLI Warp check should assert that contracts are verified

[nambrot]

Right now, the warp checker does not check if contracts are verified. This ticket encapsulates that it does. The way to accomplish is recommended as following:

1. When reading the specified warp deploy configuration (aka the control), extend it to a WarpDeployConfig & WarpCheckVirtualConfig type that includes a object of all contracts and an assertion that their verification status is true

type WarpCheckVirtualConfig = {
  contractVerificationStatus: {
    proxyAdmin: boolean, // true in the control
    hyperc20: boolean,
  }
}

2. When reading the on-chain configuration, extend it to the same type, but the values are whether the contracts are actually verified

Violations (i.e. ObjectDiffs) are asserted in the differences between these objects