[Possible bug] All tests should work in Release mode

[AndreyMlashkin]

Describe the bug
After crypto3 update, some tests stopped working in Release mode, which should be fixed

To Reproduce
nix develop .?submodules=1# -c cmake -G Ninja -B build -DCMAKE_CXX_STANDARD=17 -DCMAKE_BUILD_TYPE=Release -DCMAKE_ENABLE_TESTS=TRUE -DGENERATE_EVM_VERIFIER=TRUE -DZKLLVM_VERSION=0.1.18
nix develop -c ninja -C build -k 0 cpp_examples_generate_crct arithmetics_cpp_example

Expected behavior
All tests shall be successfull in CI - change -DCMAKE_BUILD_TYPE=Debug to Release