proof-producer: enable zkevm circuit test

[oclaw]

Enabled zkevm circuit check with the following fixes & adjustments:

• fixed SWAPx trace collector bug https://github.com/NilFoundation/nil/pull/1413 and recollected the traces
• temporary disabled bytecode hash constraint due to the issue Support bytecode hash check in zkEVM circuit #205

[notion-workspace]

Fix satisfiability check zkevm_bbf circuits

[github-actions]

Clang Test Results

  160 files  ± 0    160 suites  ±0   16m 26s ⏱️ - 2m 1s
3 174 tests +93  3 168 ✅ +93  6 💤 ±0  0 ❌ ±0 
3 262 runs  +93  3 256 ✅ +93  6 💤 ±0  0 ❌ ±0 

Results for commit 7d57c56. ± Comparison against base commit 4923e9e.

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

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

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_equal_test_suite ‑ bubb_to_lubb_2
pack_equal_test_suite ‑ bubb_to_lubb_3
pack_equal_test_suite ‑ bubb_to_lulb_1
pack_equal_test_suite ‑ bubb_to_lulb_2
…

[github-actions]

Gcc Test Results

  160 files  ± 0    160 suites  ±0   17m 19s ⏱️ - 1m 40s
3 081 tests  - 97  3 075 ✅  - 97  6 💤 ±0  0 ❌ ±0 
3 169 runs   - 97  3 163 ✅  - 97  6 💤 ±0  0 ❌ ±0 

Results for commit 7d57c56. ± Comparison against base commit 4923e9e.

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