fixup! fixup! Codegen storage markers as assignments to __CPROVER_dea… #358

Job	Run time
regression (macos-13)	27m 54s
benchcomp-tests	4m 25s
documentation	1m 54s
regression (ubuntu-20.04)	23m 54s
perf	6h 0m 17s
regression (ubuntu-22.04)	24m 29s
regression (macos-14)	18m 43s
write-json-symtab-regression	14m 1s
	7h 55m 37s

Provide feedback