AVSSVerifyPoly - verify-poly as described in Cachin et al 2002
( C [][]common.Point, index big.Int, a pcmn.PrimaryPolynomial, aprime pcmn.PrimaryPolynomial, b pcmn.PrimaryPolynomial, bprime pcmn.PrimaryPolynomial, )
source not stored for this graph (policy: none)