Pruning Cannot Hurt Robustness: Certified Trade-offs in Reinforcement Learning