[Verifier] add tests for vector reductions; NFC

Checking existing functionality before D96904.

GitOrigin-RevId: a1e5388a7ca1d0d46ed84ac2dedf52ade7ac8200
1 file changed