Update: It is possible that the RealEdge modules do not perform THA functions but rather block down-conversion. In this case, each of the 80GS/s acquisition boards digitizes 32GHz worth of bandwidth and recombining is done in DSP. This is similar to the method LeCroy employs in their scopes.
I have added a note to the video as well.