fn add_u8_range_checks_field<F: PrimeField32>(&mut self, field_values: &[F]) {
        self.add_u8_range_checks(
            &field_values.iter().map(|x| x.as_canonical_u32() as u8).collect::<Vec<_>>(),
        );
    }
Adds `ByteLookupEvent`s to verify that all the field elements in the input slice are indeed
bytes.
crates/core/executor/src/events/byte.rs