Refactor 'run'#1021

ludfjig wants to merge 4 commits intohyperlight-dev:mainhyperlight-dev/hyperlight:mainfrom

ludfjig:intermediate_prludfjig/hyperlight:intermediate_prCopy head branch name to clipboard