In the playground I had the following code:
let qc = quickCheckWith stdArgs { maxSuccess = 500 }
qc (\s -> (reverse . reverse $ s) == s)
It does type check, and correctly shows the type. But there is no output in the console. If I lower the bound to 100, then I do get output. I got the same problem when I repeated multiple quickChecks with a smaller size.
I am sorry, but this appears to be a problem with the QuickCheck library itself. I get the same behaviour that you are describing with QuickCheck 2.7.6 (which is bundled with Haskell for Mac 1.0.3).
However, when I try your code with the beta version of the forthcoming Haskell for Mac 1.1, which includes QuickCheck 2.8.1, then everything works fine.