migrate to new satisfiliability check

[oclaw]

Unified old and new implementation of satisfiability check (from the circuit builder and a free function one) and made it multi-threaded

Also deleted assignment and circuit proxy classes from blueprint as there is no need for them anymore

[github-actions]

Clang Test Results

  214 files   -  1    214 suites  ±0   36m 11s ⏱️ - 11m 32s
8 639 tests  - 10  8 631 ✅  - 10   8 💤 ±0  0 ❌ ±0 
8 885 runs   - 10  8 873 ✅  - 10  12 💤 ±0  0 ❌ ±0 

Results for commit 1d98556. ± Comparison against base commit 977dced.

This pull request removes 11 and adds 1 tests. Note that renamed tests count towards both.

blueprint_assignment_proxy_constant_test
blueprint_assignment_proxy_public_input_test
blueprint_assignment_proxy_save_shared_test
blueprint_assignment_proxy_selector_test
blueprint_assignment_proxy_shared_test
blueprint_assignment_proxy_witness_test
blueprint_circuit_proxy_copy_constraints_test
blueprint_circuit_proxy_gates_test
blueprint_circuit_proxy_lookup_gates_test
blueprint_circuit_proxy_lookup_tables_test
…

jacobi_tests ‑ jacobi_test

♻️ This comment has been updated with latest results.

[github-actions]

Gcc Test Results

  214 files   -  1    214 suites   - 1   33m 43s ⏱️ - 12m 41s
8 639 tests  - 11  8 631 ✅  - 11   8 💤 ±0  0 ❌ ±0 
8 885 runs   - 11  8 873 ✅  - 11  12 💤 ±0  0 ❌ ±0 

Results for commit 1d98556. ± Comparison against base commit 977dced.

This pull request removes 11 tests.

blueprint_assignment_proxy_constant_test
blueprint_assignment_proxy_public_input_test
blueprint_assignment_proxy_save_shared_test
blueprint_assignment_proxy_selector_test
blueprint_assignment_proxy_shared_test
blueprint_assignment_proxy_witness_test
blueprint_circuit_proxy_copy_constraints_test
blueprint_circuit_proxy_gates_test
blueprint_circuit_proxy_lookup_gates_test
blueprint_circuit_proxy_lookup_tables_test
…

♻️ This comment has been updated with latest results.

[notion-workspace]

Blueprint verification test