Simplify 64-bit sequence number calculation, handle reordered FIN/RST.