Add missing checks to forbid codegen working with transient storage variables

[matheusaaguiar]

Unfortunately, this was missed on #15001. I think this will cover every path leading to codegen.

[cameel]

We still need some tests here that will show that now the paths are properly blocked.

Like, some simple semantic tests that did pass on top of your previous PR.