Experiment: do not llvm kompile, evaluate static data lookups in HS backend#853

jberthold wants to merge 11 commits intomasterruntimeverification/mir-semantics:masterfrom

EXPERIMENT-no-llvm-kompileruntimeverification/mir-semantics:EXPERIMENT-no-llvm-kompileCopy head branch name to clipboard