feat(read): add verification data commitment

[entropidelic]

This PR adds the new verification data commitment that will be used for the read part of Aligned.

The main change is in the way the batch merkle root is calculated: Instead of calculating the merkle tree directly from the VerificationData batch, a new data structure is created from each VerificationData, which is made up of the commitments of all of its internal values (proof_commitment, pub_input_commitment, ...). The merkle root is calculated from the batch of these new structures, VerificationDataCommitment, instead of the original

There is nothing in particular to test, just send proofs using the batcher client like always and check that everything is ok