Copy of the verification key is stored inside the prover index. I'll get rid of that copy and reuse one.