variable precision Newton steps to verify solutions of Laurent polynomial
systems added and tested