use gen array in verifier as well

[danielmasny]

doing similar changes to verifier.rs as in https://github.com/private-attribution/ipa/pull/1090

• use GenericArray as inputs and in ProofVerifier vector
• use iterator with Borrow trait
• adjust tests to work with updated inputs

[codecov[bot]]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 91.04%. Comparing base (54008fc) to head (bdf12b0). Report is 15 commits behind head on main.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #1093 +/- ## ========================================== + Coverage 90.99% 91.04% +0.05% ========================================== Files 183 184 +1 Lines 26046 26103 +57 ========================================== + Hits 23701 23766 +65 + Misses 2345 2337 -8 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.