Added a slab allocator model (that never frees memory). Added a done method to the API that gets called when the trace has finished executing.