IR: Added Exp::isNonzero and Exp::isZero.

As in the AST::Exp versions, these only return true if the expression can be proven to be nonzero or zero.