Gfverif: fast and easy verification of finite-field arithmetic

Link to code from Examples page: http://gfverif.cryptojedi.org/gfverif-20151230.tar.gz