pub fn verify_interactions( traces: Vec<RowMajorMatrix<BabyBear>>, airs: Vec<Arc<dyn AnyRap<BabyBearPoseidon2Config>>>, pis: Vec<Vec<BabyBear>>, ) -> Result<(), VerificationError>