Code4rena's "warden" audit model helped shape the DeFi security landscape, so why has the platform decided to shut down?