The propsed new archtiecture is under reveiw.

Daniel has suggested an interesting approach to scaling memory. Solidity essentially uses internal functions memory and uses a larger set that could be stale. So segmenting garbage collection could be an interesting appraoch to scaling this well. Need to research more on garbage collection.

Shadow is an interesting tooll it monkeypatches system call to simulate applcation. This has teh added advantage of not needing to modify application code.