Quadratic-order verification checks

This file records a small sanity check for the defining minimal polynomial of tau.