Remove next references in lookups / permutations (#2141)

Currently, when we run the Goldilocks RISC-V machine with `--linker-mode
bus` results in:

`Double application of "'" on: main_binary::operation_id` because of
#2140. This PR hot-fixes it, so we can run benchmarks using the bus.
Only adds 3 witness columns (1 in binary, 2 in shift).

Author: georgwiese

std/machines/large_field/binary.asm

@@ -35,5 +35,10 @@ machine Binary(byte_binary: ByteBinary) with
     B' = B * (1 - latch) + B_byte * FACTOR;
     C' = C * (1 - latch) + C_byte * FACTOR;
 
-    link => C_byte = byte_binary.run(operation_id', A_byte, B_byte);
+    // TODO: Currently, the bus linker does not support next references in operations and links.
+    //       We add an extra witness column to make the Goldilocks RISC-V machine work for now.
+    //       This will be fixed with #2140.
+    col witness operation_next;
+    operation_id' = operation_next;
+    link => C_byte = byte_binary.run(operation_next, A_byte, B_byte);
 }

std/machines/large_field/shift.asm

@@ -67,5 +67,11 @@ machine Shift(byte_shift: ByteShift) with
     unchanged_until(B, latch);
     C' = C * (1 - latch) + C_part;
 
-    link => C_part = byte_shift.run(operation_id', A_byte, B', FACTOR_ROW);
+    // TODO: Currently, the bus linker does not support next references in operations and links.
+    //       We add an extra witness columns to make the Goldilocks RISC-V machine work for now.
+    //       This will be fixed with #2140.
+    col witness operation_next, B_next;
+    operation_id' = operation_next;
+    B' = B_next;
+    link => C_part = byte_shift.run(operation_next, A_byte, B_next, FACTOR_ROW);
 }