Fixed a buncha bugs with the new verifier.