I think we should just get rid of -fnew-verifier and instead have that be implied by -findirect-dispatch. First, -findirect-dispatch actually already requires this, and second, that way we don't have to document it (and then keep it around for years even after it is useless). Tom