Implement multithreaded liveness checking

This branch introduces support for multithreaded liveness checking, and uses a new block container type, that will allocate new blocks when needed, instead of reallocating a continuous array like the old implementation did. This also removes the need for starting and stopping the world, and removing the marks that has been set in the walked objects.