added a few tests and comments around haveTheSameElementsAs.
updated the deprecation message
fixed the reporting of ScalaCheck properties with unit specs when using implication