Function validate_witness

pub fn validate_witness<U, F>(
    witness: &MultilinearExtensionIndex<'_, U, F>,
    flushes: &[Flush],
    boundaries: &[Boundary<F>],
    max_channel_id: ChannelId,
) -> Result<(), Error>
where
    U: UnderlierType + PackScalar<F>,
    F: TowerField + Ord,