On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis