fn add_u16_range_checks(&mut self, ls: &[u16]) {
        ls.iter().for_each(|x| self.add_u16_range_check(*x));
    }
Adds `ByteLookupEvent`s to verify that all the bytes in the input slice are indeed bytes.
crates/core/executor/src/events/byte.rs