Efficient Bi-Level Optimization for Recommendation Denoising