Add extra CHECK to make sure that 'or' instruction was replaced.

Also add an assert to avoid confusion in the code where is known that C1 <= C2.

llvm-svn: 171310