crucible-mir: Check schema version even when parsing succeeds#1661

RyanGlScott merged 2 commits intomasterGaloisInc/crucible:masterfrom

rgs/crucible-mir-fix-schema-version-check-yet-again-ugh-i-hate-this-functionGaloisInc/crucible:rgs/crucible-mir-fix-schema-version-check-yet-again-ugh-i-hate-this-functionCopy head branch name to clipboard