Trail of Bits Software Assurance vs x8 (2026)