Aztec Rolls Out Tierra Upgrade With Formal Verification for Ethereum Privacy Network

The release fixes a critical bug from the prior version and adds an AI-powered testing harness.