Invia SMS: Hamilton-Jacobi Reachability Estimation in Reinforcement Learning