Changed `assert(p,m)` to `if (!{p}) throw new AssertionError(m)`.

Also wrote a mini-walkthrough for finding and verifying a bug.
Merge branch 'master' of https://github.com/ichoran/scala-collections-laws