fn add_u8_range_check(&mut self, a: u8, b: u8) {
        self.add_byte_lookup_event(ByteLookupEvent {
            opcode: ByteOpcode::U8Range,
            a1: 0,
            a2: 0,
            b: a,
            c: b,
        });
    }
Adds a `ByteLookupEvent` to verify `a` and `b` are indeed bytes to the shard.
crates/core/executor/src/events/byte.rs