Verifying contracts on-chain — checking the deployment manifest and the full Registry graph…