member-diff and equal-inter
add(nCopies ver) tested
Fixed member-diff; remove(nCopies ver) tested
removeAll tested

And now currently done with property testing.
More to come, after self-balancing happens.