update to Scalacheck 1.11.0
Move composition law from Applicative to new Apply laws.
Move associativity & bind/ap consistency laws from Monad to Bind.
Merge pull request #586 from S11001001/topic/apply-bind-laws

Apply & Bind laws
Merge pull request #583 from larsrh/topic/scalacheck-1.11

update to Scalacheck 1.11.0