Per discussion on the list, remove BitcodeVerify pass to reimplement as a free function.