changed path to main quickcheck.rkt