sdkt-audit 2.5.0

Static security analysis for Soroban contracts (Gap C).
Documentation