sdkt-audit 2.4.0

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