Better support handling programs with loops with bootstrap insertion or rewrites

==================== Test output for //tests/Examples/openfhe:halevi_shoup_matmul_loop_test:
Running main() from gmock_main.cc
[==========] Running 1 test from 1 test suite.
[----------] Global test environment set-up.
[----------] 1 test from NaiveMatmulTest
[ RUN ] NaiveMatmulTest.RunTest
CPU time used: 10951.1 ms
unknown file: Failure
C++ exception with description "external/openfhe/src/pke/lib/encoding/ckkspackedencoding.cpp:l.537:Decode(): The decryption failed because the approximation error is too high. Check the parameters. " thrown in the test body.