Strictification -> remove a memory leak (there's still another one to fix)
Fix memory leak for circuits without RAM.