Absolute Stability Theory, Theory, and State-Space Verification of Frequency-Domain Conditions: Connections and Implications for Computation