Savant Chat, an AI web3 auditing tool, was able to surface the bug that led to the Resupply exploit