add setTimeout(x, 0) in pushOp_, and other minor tweaks