Bilevel Optimization under Unbounded Smoothness: A New Algorithm and Convergence Analysis