Error handling for traces#10

yveshauser merged 6 commits intomaininput-output-hk/ouroboros-leios-formal-spec:mainfrom

yveshauser/error-handlinginput-output-hk/ouroboros-leios-formal-spec:yveshauser/error-handlingCopy head branch name to clipboard