Move the exception handling logic from K to kevm-pyk#2816

anvacaru wants to merge 11 commits intomasterruntimeverification/evm-semantics:masterfrom

driver-refactor-1runtimeverification/evm-semantics:driver-refactor-1Copy head branch name to clipboard