verification functions now use new cell format, fixed infinite loop in squareToPoly