Cut debugging time in half for Soroban contracts

Replay failed transactions with rich diagnostics. Fuzz⁰¹ with real Soroban resource limits. Prevent surprises before they hit mainnet.