pub fn conditionaly_check_request<F: SmallField, CS: ConstraintSystem<F>, R: CircuitRoundFunction<F, AW, SW, CW>, const AW: usize, const SW: usize, const CW: usize>(
    cs: &mut CS,
    request: SpongeRoundRequest<F, SW>,
    applies: Boolean<F>,
)