[ValueTracking] Add logic for `add nuw x,y != 0` -> `x != 0 || y != 0`

Alive2 Link:
    https://alive2.llvm.org/ce/z/TKpqxc

Reviewed By: nikic

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