Merge "Fix reg type merging in the verifier"