MemoryValue xor_op(const MemoryValue &a, const MemoryValue &b) override
MemoryValue or_op(const MemoryValue &a, const MemoryValue &b) override
MemoryValue and_op(const MemoryValue &a, const MemoryValue &b) override
AVM range check gadget for witness generation.