Queues: Simplify Test Oracles

[KabirSamsi]

trafficstars

See #2191. The goal is as follows:

Make our oracles as clean, simple, and believable as possible. If some of our queues are meant to behave identically, they should use the same oracle. Use library implementations where possible. In addition, we can still have our pure-Python implementations that more closely track the logic in our eDSL code. These three implementations will all agree.