TODO: fix implicit search failures
WIP: Upgrade to Scalacheck 1.11.1

See the TODO-maxDiscarded markers to complete the migration.
Scalacheck now specifies a ratio rather than an absolute number
of discarded tests.