Adjust Supernova APIs for verification

[huitseeker]

This is the sister issue for lurk-lab/lurk-rs#695 which portents that the SuperNova APIs for verification will need adjustment for Lurk:

arecibo/src/supernova/mod.rs

Lines 734 to 741 in c657b04

	/// verify recursive snark
	pub fn verify<C1: StepCircuit<G1::Scalar>, C2: StepCircuit<G2::Scalar>>(
	&self,
	pp: &PublicParams<G1, G2, C1, C2>,
	circuit_index: usize,
	z0_primary: &[G1::Scalar],
	z0_secondary: &[G2::Scalar],
	) -> Result<(), SuperNovaError> {

Please refer to the discussion in the Lurk issue, which hints at a convenience API that may receive an array of witnesses for each step and aggregate them verification-side.

[huitseeker]

Closed in #72