Merge "Implement VerifierDeps encoding/decoding"