On the Convergence Theory for Hessian-Free Bilevel Algorithms