Certifying stability in runge-kutta schemes: Algebraic conditions and semidefinite programming