fix: propagate verification errors and add PassManager integrity test#1066

giwaov wants to merge 2 commits into0xMiden:next0xMiden/compiler:nextfrom

giwaov:test/pass-manager-verifygiwaov/compiler:test/pass-manager-verifyCopy head branch name to clipboard