Convergence Guarantees for Neural Network-Based Hamilton-Jacobi Reachability