feat: Add `assert_satisfied_at_rows_par` variant (privacy-scaling-exp…

…lorations#139)

Resolves: privacy-scaling-explorations#133

fix: Force `VerifyFailure` to own the annotations map (privacy-scalin…

…g-explorations#131)

* fix: Force `VerifyFailure` to own the annotations map

Since otherwise we can't move the `VerifyFailure` vec's confortably, and
also, we're required to have a lot of lifetime annotations, it was
decided to force the `VerifyFailure` to own the Annotation maps.

This shouldn't be too harmful as it only triggers when testing.

Resolves: privacy-scaling-explorations#130

* chore: Address clippy lints

halo2 v2022_05_09

halo2 v2022_05_06

halo2 v2022_05_03

halo2 v2022_03_06

halo2 v2022_02_23