[cleanup] Fix the include of Verifier.h after the LLVM move of it to the
IR directory.