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