Stellar Partners With Certora for Security Checks on Soroban Smart Contracts