Follow other proving system, e.g. Nova
https://github.com/microsoft/Nova/blob/2772826ba296b66f1cd5deecf7aca3fd1d10e1f4/src/spartan/snark.rs#L133
adding verifier key digest should strongly bind key versioning into the protocol thus versioning mismatch between prover/verifier key should failed on verification