Update z3 to version 4.12.1.0

[github-actions[bot]]

Test Results

     87 files  +     77       87 suites  +77   1h 28m 13s :stopwatch: + 1h 27m 34s 1 324 tests +1 018  1 234 :heavy_check_mark: +988  80 :zzz: +20  10 :x: +10  1 329 runs  +1 023  1 239 :heavy_check_mark: +993  80 :zzz: +20  10 :x: +10 

For more details on these failures, see this check.

Results for commit ae4cf7c5. ± Comparison against base commit 22750dae.

This pull request removes 30 and adds 1048 tests. Note that renamed tests count towards both.

``` test_ast ‑ test_associativity test_backend_smt.TestSMTLibBackend ‑ test_int_to_str_simplification test_backend_smt.TestSMTLibBackend ‑ test_replace test_backend_smt.TestSMTLibBackend ‑ test_suffix_simplification test_backend_smt_abc.SmtLibSolverTest_ABC ‑ test_is_digit test_backend_smt_abc.SmtLibSolverTest_ABC ‑ test_replace_simplification test_backend_smt_composite.SmtLibSolverTest_Z3 ‑ test_concat test_backend_smt_composite.SmtLibSolverTest_Z3 ‑ test_is_digit_simplification test_backend_smt_composite.SmtLibSolverTest_Z3 ‑ test_str_to_int test_backend_smt_congruency.SmtLibSolverTestCongruency ‑ test_congruency_2 … ``` ``` analyses.cfg_slice_to_sink.test_cfg_slice_to_sink.TestCFGSliceToSink ‑ test_add_transitions_updates_the_slice analyses.cfg_slice_to_sink.test_cfg_slice_to_sink.TestCFGSliceToSink ‑ test_get_transitions_from_slice analyses.cfg_slice_to_sink.test_cfg_slice_to_sink.TestCFGSliceToSink ‑ test_nodes analyses.cfg_slice_to_sink.test_cfg_slice_to_sink.TestCFGSliceToSink ‑ test_path_between_deals_with_loops analyses.cfg_slice_to_sink.test_cfg_slice_to_sink.TestCFGSliceToSink ‑ test_path_between_returns_True_only_if_there_exists_at_least_a_path_between_two_nodes_in_the_slice analyses.cfg_slice_to_sink.test_cfg_slice_to_sink.TestCFGSliceToSink ‑ test_transitions_as_tuples analyses.cfg_slice_to_sink.test_graph.TestGraph ‑ test_slice_callgraph_mutates_the_original_graph analyses.cfg_slice_to_sink.test_graph.TestGraph ‑ test_slice_callgraph_remove_content_not_in_a_cfg_slice_to_sink analyses.cfg_slice_to_sink.test_graph.TestGraph ‑ test_slice_cfg_graph_mutates_the_original_graph analyses.cfg_slice_to_sink.test_graph.TestGraph ‑ test_slice_cfg_graph_remove_content_not_in_a_cfg_slice_to_sink … ```

This pull request removes 7 skipped tests and adds 27 skipped tests. Note that renamed tests count towards both.

``` test_backend_smt_composite.SmtLibSolverTest_Z3 ‑ test_concat test_backend_smt_composite.SmtLibSolverTest_Z3 ‑ test_is_digit_simplification test_backend_smt_composite.SmtLibSolverTest_Z3 ‑ test_str_to_int test_backend_smt_congruency.SmtLibSolverTestCongruency ‑ test_congruency_2 test_backend_smt_z3.SmtLibSolverTest_Z3 ‑ test_concat test_backend_smt_z3.SmtLibSolverTest_Z3 ‑ test_is_digit_simplification test_backend_smt_z3.SmtLibSolverTest_Z3 ‑ test_str_to_int ``` ``` test_cacher.TestCacher ‑ test_cacher test_calling_convention_analysis.TestCallingConventionAnalysis ‑ test_cgc_binary2 test_cfgemulated.TestCfgemulate ‑ test_cfg_0 test_cfgemulated.TestCfgemulate ‑ test_cfg_1 test_cfgemulated.TestCfgemulate ‑ test_cfg_2 test_cfgemulated.TestCfgemulate ‑ test_cfg_3 test_cfgemulated.TestCfgemulate ‑ test_cfg_4 test_cfgemulated.TestCfgemulate ‑ test_cfg_5 test_cfgemulated.TestCfgemulate ‑ test_loop_unrolling test_detourbackend_arm.Tests ‑ test_replace_function_patch_with_function_reference_and_rodata … ```

:recycle: This comment has been updated with latest results.

[twizmwazin]

The bug I was hoping might be solved with this isn't and the Ci failures are non-trivial enough that I don't plan on finishing this.