Update Groth16 to the latest ark-algebra

[weikengchen]

Description

This is a draft PR that is incomplete. After https://github.com/arkworks-rs/snark/pull/362 is merged, we can continue on this draft PR to fix the remaining ones.

---

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 (master)
• [x] Linked to Github issue with discussion and accepted design OR have an explanation in the PR that describes this work.
• [x] Re-reviewed Files changed in the Github PR explorer

N/A:

• [ ] Wrote unit tests
• [ ] Updated relevant documentation in the code
• [ ] Added a relevant changelog entry to the Pending section in CHANGELOG.md

[Pratyush]

What's the diff between this and #40?

[weikengchen]

Good question. I think the easiest way is for me to revert 40 and change its target

[weikengchen]

Nay it is easier to merge it here. Let me do a final pass.