Stability multipliers and μ upper bounds: Connections and implications for numerical verification of frequency domain conditions