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