This reverts commit 47324cfd. This exposed incorrect debuginfo in rustc. Revert the verification until this has been fixed.