sci-mathematics/agda: Update quickcheck dependency

Package-Manager: portage-2.2.10_p26