Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and δ-Decidability