Finished the combined paxos queue and runq/waitq scheduling algorithm.