Consider optimizing memory to that its based on the actual block sizes, etc...

[lucasxia01]

This was implemented here in 765b074.

However, it was reverted to keep things simple. This would allow for potential reductions at the cost of potential reallocations if we fold with instances that have bigger sizes (table sizes, databus sizes, circuit sizes, block sizes, etc...).