Distributed Stochastic Bilevel Optimization: Improved Complexity and Heterogeneity Analysis (Journal of Machine Learning Research, 2026)