The “Tierra” upgrade resolves a critical bug from the prior version, adds formal verification, and an AI-powered testing harness.