Add scalacheck dependency in doctestSettings