Compositional Stability Verification of Hybrid Systems