Fix the sequence number check in SynReceived

  It was checking against RCV.NXT, instead of SND.NXT