verify: add check_poly_print helper function