Remove algebra-std dependencies.

This commit creates a CheckSupport object in algebra-laws,
moves the Arbitrary[Rat] instance there, and removes the
dependencies from std/build.sbt.