fix: changes made for Commonprefix patch

[alxiong]

This PR:

Include changes made during CommonPrefix audit on the plonk verifier. Most changes center around SolidityTranscript, the trait Transcript is also changed, which should be breaking if downstream usage directly uses its API. For those that are only using SNARK, there shouldn't be any changes required or incompatibility.

---

Before we can merge this PR, please make sure that all the following items have been checked off. If any of the checklist items are not applicable, please leave them but write a little note why.

• [x] Targeted PR against correct branch (main)
• [x] ~Linked to GitHub issue with discussion and accepted design OR have an explanation in the PR that describes this work.~
• [x] Wrote unit tests
• [x] Updated relevant documentation in the code
• [ ] Added relevant changelog entries to the CHANGELOG.md of touched crates.
• [ ] Re-reviewed Files changed in the GitHub PR explorer

[alxiong]

We will tag this as jf-plonk-v0.5.1 once merged.