Bump versions and misc tweaks

[Pratyush]

Description

closes: #XXXX

---

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.

• Targeted PR against correct branch (master)
• Linked to Github issue with discussion and accepted design OR have an explanation in the PR that describes this work.
• Wrote unit tests
• Updated relevant documentation in the code
• Added a relevant changelog entry to the Pending section in CHANGELOG.md
• Re-reviewed Files changed in the Github PR explorer

[mmagician]

This broke the tests in arkworks-rs/circom-compat#68

@Pratyush I think the reasoning behind this change was that pk.h_query typically has domain - 1 elements right? In which case h_assignment is of length = domain, but the last element is 0.

For some reason, the proving key imported from a .zkey file has length = domain. I'm going to investigate later, but I'm dropping the info here as I go along, maybe you have a clue as for this difference.

cc @jbaylina

[Pratyush]

I think we would need to change to use msm_unchecked, or something that doesn't check length equality, because the arkworks Groth16 is of length domain - 1. This is because $z_a \cdot z_b - z_c$ is of degree at most 2 * domain - 2, and so $h = (z_a \cdot z_b - z_c)/v_H$ is of degree at most domain - 2 and hence requires domain - 1 coefficients.

Regarding what to replace msm_bigint with, I don't remember if msm_bigint panics when the input lengths are equal or not...

[mmagician]

msm_bigint works fine, it just takes the min length of the two. In arkworks-groth witness calculation this will be domain-1 but in circom, both inputs will be of length domain.