Removed hspec, added smallcheck.