CredShields SolidityScan vs Trail of Bits Software Assurance (2026)