Instruction operands are broken into `C = 4` [chunks](https://github.com/a16z/jolt/blob/main/jolt-core/src/r1cs/constraints.rs#L154-L171) of 8-bits each, and those chunks are (for some instructions) [interleaved](https://github.com/a16z/jolt/blob/main/jolt-core/src/r1cs/constraints.rs#L184-L188) to form the lookup query. Those operand chunks should be range-checked to [0, 2^8).