properly size quickcheck tests and re-enable them