Added a size() method to WorkQueue in SpicaC.