Changed quickcheck() spec and set test timeout to 6 min.