sci-mathematics/agda: allow quickcheck-2.7