Nash Equilibrium Constrained Auto-bidding With Bi-level Reinforcement Learning