sdkt-audit 2.0.0

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