A Dynamical Systems Framework for Reinforcement Learning Safety and Robustness Verification