XSyncAwaitFence can generate BadValue if the
fence list argument is empty.  Document this
in the spec.