Feat: enable plutus friendly hash for IVC proving

[perturbing]

Why

We want to be able to verify the IVC proves Onchain.

What

As described in this comment, the current hash used in the transcript is using blake512, which is not available in plutus.

Once we update to a newer version of midnight-zk, we can swap the 512 one out for a Plutus-optimized one as defined here.

How

• Upgrade to the newer midnight-zk version
• swap out the current Blake2b_simd for Blake2b256