DequeKOT push/pop bugs fixed