We thank all reviewers for their time and thoughtful comments

We thank all reviewers for their time and thoughtful comments. We would be happy to include a discussion of bounds that we believe are promising to explore. This difficulty could be overcome by rewriting an efficient implementation. Another potentially interesting bound to explore is the "sharpened" version of the bound we use, described in [ We believe an efficient solution may exist, but have not found it. We appreciate the additional suggestions to improve our paper.