scalacheck for monoid laws; update specs2 version