This seems to me like a far more salient distinction than how the program is stored.

Instruction pointer and explicit branching.

The Z3 is still (in a theoretical sense) Turing-complete, even without branching instructions (exponential path construction).