Added Verifier support in-code. Still a work in progress. Distractorless
and Threshold Verifiers currently work, but the former needs a bit of
finagling to get it to where I want it to be