peel_ref: use faster deref_tag_noverify