Merge "Fix verifier handling of empty switch as last instruction."