Optimal Algorithms for Stochastic Bilevel Optimization under Relaxed Smoothness Conditions