tcp: improve handling of snd_nxt