Changes to make-verifier, still not done, saving work.