vm

feat: add check functionality

chore: cleanup

fix(mir): fix parsing of statement defs

fix: track stack depth correctly after a def call

feat: optimize sha3 impl