Reinstate slab allocator initialization for UltraHonk

[codygunton]

We can do recursive verification without the initialization step, but perhaps we will want that again in the future.