EVM audit pipeline: Foundry invariants + Slither + Mythril + Echidna (yultrace) — Cert · GainForest