[X86] Generate checks for 2012-01-10-UndefExceptionEdge

Also add -verify-machineinstrs to make it easier to catch a
MachineVerifier failure introduced by D149947.

Differential Revision: https://reviews.llvm.org/D149953