Issue #25: fix the logic in SentSeq and AckSeq to capture retx and support random seq