Beginning to add VERIFY to our testing framework.