Experiment with a dedicated side condition simplifier

[jberthold]

We could get a performance gain from using specific simplify routines for separate use cases:

• side condition(s) - SMT
• unification remainders
• ceil simplification
• configuration simplification as a whole After separating the LLVM based simplification, we can implement a dedicated simplification for side conditions which
• Tries to avoid using the LLVM backend
• Uses hooks for commonly-used functions/data types in conditions (Int, Bool)

Measure performance of the modified execution on kevm and kontrol proofs.

[jberthold]

Experimental code tested, however not showing any significant speed-up. See https://github.com/runtimeverification/haskell-backend/issues/3767

Closing this issue for now, will track further work on the parent ticket runtimeverification/haskell-backend#3767