Grid refinement and verification estimates for the RBF construction method of Lyapunov functions