crucial bugfix: add a store/load memory barrier to popWSDeque()