Prime factorisation is not proven to be NP-hard so the existence of a quantum polynomial algorithm (Shor) has no bearing on complexity classes other than showing that prime factorisation is in BQP (quantum polynomial). So it does challenge PECTT on 'vibes' as most experts think it is not in P, but there is no mathematical proof for it.
Grover gives an at most quadratic speedup for NP-hard problems, it does not turn a non-polynomial algorithm into a polynomial one.