Validating Numerical Semi-Definite Programming Solvers for Polynomial Invariants.