vouch: Adversarial security audits for smart contracts and agents, | Orynth