Function verify_stacked_reduction 

pub fn verify_stacked_reduction<SC: StarkProtocolConfig, TS: FiatShamirTranscript<SC>>(
    transcript: &mut TS,
    proof: &StackingProof<SC>,
    layouts: &[StackedLayout],
    need_rot_per_commit: &[Vec<bool>],
    l_skip: usize,
    n_stack: usize,
    column_openings: &Vec<Vec<Vec<SC::EF>>>,
    r: &[SC::EF],
    omega_shift_pows: &[SC::F],
) -> Result<Vec<SC::EF>, StackedReductionError<SC::EF>>
where
    SC::EF: TwoAdicField,

has_preprocessed must be per present trace in sorted AIR order.