move CannotBeNegativeZero to ValueTracking. Simplify some signbit comparisons.