Principles for Testing Polynomial Zerofinding Programs