Fixed testsuite regression: testing depth for quickcheck tests has to be limited. Otherwise, tests will be too slow.
Fixed testsuite regression: testing depth for quickcheck tests has to be
limited. Otherwise, tests will be too slow.

ulricha/dsh