Remove minimal CFG sanity checks from verifier.