lean_vm: add source-level failure stack traces#246

latifkasuli wants to merge 1 commit into

leanEthereum:mainleanEthereum/leanVM:mainfrom

latifkasuli:fix/stack-traceslatifkasuli/leanVM:fix/stack-tracesCopy head branch name to clipboard