certifying solutions to square polynomial systems (Smale's alpha test)