Reverb: [3/3] Delete the deprecated priority_tables argument from reverb.Server.
Reverb: [3/3] Delete the deprecated priority_tables argument from reverb.Server.

This change makes this argument consistent with the new reverb.Table name.

PiperOrigin-RevId: 313588730
Change-Id: I07a62ada96eb485c248345b5064dc3a5175b426e

deepmind/reverb,deepmind/reverb,deepmind/reverb,deepmind/reverb