Replaces the Merlin transcript which uses keccack1600 permutations with a transcript which we define for jolt and which uses keccack256. This transcript squeezes all inputs into 32bytes with an action counter. It doesn't abstract over the hasher object to support snark friendly recursion hashes, but this would be only a small change.
Removes Merlin from our dependency graph
Because we removed Merlin we bump the sha3 version to be modern as opposed to the 5 year old current import, and make small interface changes in key.rs and perdersen.rs
Most labels are removed in favor of the increasing index which is hashed into each step.
Change list:
There is no performance change.