[InstCombine] mark ADD with nuw if no unsigned overflow