Fix an accouting bug where control stuff was counted twice when on the read queue and the ordered or unordered queue.
Fix an accouting bug where control stuff was counted twice when
on the read queue and the ordered or unordered queue.

While there, improve the checking under INVARIANTs.

sctplab/sctp-idata,sctplab/sctp-idata