DSN correction when Packetdrill generated packets on different subflows. 
Added some tests on mss, rcv/snd_buff and max_seg.