migrate shift opcode

[hero78119]

To close #1016

stats

+---------------+---------------+---------+-------+-----------+--------+------------+---------------------+
| opcode_name   | num_instances | lookups | reads | witnesses | writes | 0_expr_deg | 0_expr_sumcheck_deg |
+---------------+---------------+---------+-------+-----------+--------+------------+---------------------+
-| SLL           | 0             | 15      | 4     | 29        | 4      | [1: 5]     | [2: 1]              |
+| SLL           | 0             | 17      | 4     | 47        | 4      | [1: 6]     | [3: 10,2: 27]       |
-| SLLI          | 0             | 9       | 3     | 20        | 3      | [1: 3]     | [2: 1]              |
+| SLLI          | 0             | 15      | 3     | 40        | 3      | [1: 5]     | [2: 27,3: 10]       |
-| SRA           | 0             | 16      | 4     | 30        | 4      | [1: 5]     | [2: 2]              |
+| SRA           | 0             | 18      | 4     | 47        | 4      | [1: 5]     | [3: 10,2: 27]       |
-| SRAI          | 0             | 10      | 3     | 21        | 3      | [1: 3]     | [2: 2]              |
+| SRAI          | 0             | 16      | 3     | 40        | 3      | [1: 4]     | [2: 27,3: 10]       |
-| SRL           | 0             | 15      | 4     | 29        | 4      | [1: 5]     | [2: 1]              |
+| SRL           | 0             | 17      | 4     | 47        | 4      | [1: 6]     | [2: 27,3: 10]       |
-| SRLI          | 0             | 9       | 3     | 20        | 3      | [1: 3]     | [2: 1]              |
+| SRLI          | 0             | 15      | 3     | 40        | 3      | [1: 5]     | [3: 10,2: 27]       |
+---------------+---------------+---------+-------+-----------+--------+------------+---------------------+