Positive Stability Analysis and Bio-Circuit Design for Nonlinear Biochemical Networks