Base_quickcheck provides randomized testing in the style of Haskell's
Quickcheck library, with support for built-in types as well as types provided
by Base.
