proof-producer: rw & zkevm sat check fixes

[oclaw]

Following changes:

• Added sort of rw_operations_vector before passing it into assignment + refactored copypaste in copy and zkevm circuits
• Removed some old comments
• Fixed build
• Add dummy impl for not implemented opcodes in order to enable checks for zkevm circuit
• Added traces with single call of increment and parametrized tests with them
• Enabled single tx check for rw and bytecode circuits

Now disabled checks are

• zkevm both single and multiple trace (cause is to be investigated)
• bytecode multiple trace (cause is to be investigated)
• rw multiple trace (most probably bug in circuit)

[github-actions]

Gcc Test Results

  159 files  ±0    159 suites  ±0   19m 6s ⏱️ +6s
3 176 tests +4  3 170 ✅ +4  6 💤 ±0  0 ❌ ±0 
3 264 runs  +4  3 258 ✅ +4  6 💤 ±0  0 ❌ ±0 

Results for commit d1fe4c7. ± Comparison against base commit eec3173.

♻️ This comment has been updated with latest results.

[github-actions]

Clang Test Results

  159 files  ± 0    159 suites  ±0   18m 11s ⏱️ -2s
3 079 tests  - 97  3 073 ✅  - 97  6 💤 ±0  0 ❌ ±0 
3 167 runs   - 97  3 161 ✅  - 97  6 💤 ±0  0 ❌ ±0 

Results for commit d1fe4c7. ± Comparison against base commit eec3173.

This pull request removes 103 and adds 6 tests. Note that renamed tests count towards both.

lpc_math_polynomial_suite ‑ lpc_basic_skipping_layers_test
lpc_math_polynomial_suite ‑ lpc_dfs_basic_test
lpc_params_test_suite ‑ lpc_batches_num_3_test
lpc_params_test_suite ‑ lpc_different_hash_types_test
pack_equal_test_suite ‑ bubb_to_bubb_1
pack_equal_test_suite ‑ bubb_to_bubb_2
pack_equal_test_suite ‑ bubb_to_bubb_3
pack_equal_test_suite ‑ bubb_to_bulb_1
pack_equal_test_suite ‑ bubb_to_bulb_2
pack_equal_test_suite ‑ bubb_to_lubb_1
…

pack_imploder_test_suite ‑ be_to_be_1
pack_imploder_test_suite ‑ be_to_be_2
pack_imploder_test_suite ‑ be_to_le_1
pack_imploder_test_suite ‑ be_to_le_2
pack_imploder_test_suite ‑ be_to_le_3
pack_imploder_test_suite ‑ bubb_to_lulb_4

♻️ This comment has been updated with latest results.

[notion-workspace]

Fix stisfiability check zkevm_bbf circuits