FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits - View it on GitHub