A specification of the Ultrahonk Verifier as used in the Aztec Network