Verifying the order of a queue of work items