Add runTests function to run all quickCheck tests