Efficient Control Barrier Refinement Using Local Hamilton-Jacobi Reachability