A First-order Generative Bilevel Optimization Framework for Diffusion Models