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,