implement a bump-pointer allocator in state_new()

As described in the comment, this is an optimisation to both decrease
synchronisation overheads as well as metadata. On a representative model, this
reduces runtime by 46% and memory RSS by 9%.

Github: closes #19 "non-freeing allocator"
Github: closes #18 "state allocation pool"