[cleanup] Move the Dominators.h and Verifier.h headers into the IR