Teach SimplifySetCC that comparing AssertZext i1 against a constant 1 can be rewritte...