Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis