Basic congestion control on TCP model, with tests; fixed errors in, added tests for SpanList.