Add return to DIType::Verify