Residual Finiteness of Hyperbolic Groups on the Tech Tree