Use stellar binary instead of soroban binary#83

automergerpr-permission-manager[bot] merged 4 commits intomasterruntimeverification/komet:masterfrom

soroban-to-stellarruntimeverification/komet:soroban-to-stellarCopy head branch name to clipboard