Reported by @333fred: on a branch outside the IL space, ilverify crashes instead of failing verification.