Add a comment on invoking quickCheck via ghci.