Invert `--no-fallback-simplify` and `--no-post-exec-simplify` (new default: no simplification)#4011

jberthold wants to merge 3 commits intomasterruntimeverification/haskell-backend:masterfrom

HOTFIX-invert-proxy-simplify-optionsruntimeverification/haskell-backend:HOTFIX-invert-proxy-simplify-optionsCopy head branch name to clipboard