Bugfixes and tests

This release fixes a bunch of bugs that we discovered using Randoop

Most of them were in the equals() methods of various classes.
We also made sure that the static instances of the default vectors are now clones of each other and no references to the same object anymore.