Verifying Quantized Graph Neural Networks is PSPACE-complete