Ahghrhasdkjhasdfl'kjhaeflkhnasdv,ba (that's how I feel)
WYIL: more fixes to verifier / verification condition generation.