Tight Stability, Convergence, and Robustness Bounds for Predictive Coding Networks