Laws are running pretty smoothly now--lots of bugs in tests removed.
Mostly successfully managed to compact across collection sizes.  Probably didn't do it in the most elegant way.  (Actually, surely not.)  Will refactor later, I suppose.
Slightly improved tests yet again, reporting with mkString instead of
toString, commented out test-compaction since it didn't really reduce
compile time by much.  Added a SORTED flag but not using it in tests yet.
Wrote remove(n,count) to only test in-range n and count.