eliminate smallcheck dependency for now

hopefully this fixes build/test troubles with ghc 7.0 and 7.4