Adding option 'redundancyProfilingEnabled' to explicitly switch on profiling.
Added option to disable reordering of elements inside unordered data structures.
Duplicating toString() patch from pdb.values/master.
Fixing XOR hashing + adding option to switch off order independent hashing.
Adding PDB tests and small example for paper.
Fixing profiling flag in case of equals(); further, including timing in JUnit benchmarks.