Consider programmatically enforcing that the order of first-time executions is the same as of jitting

[lukstafi]

This assumption simplifies optimizations. We already make it in some cases of inferring memory modes.

[lukstafi]

There's a loosely related issue that I will fix tomorrow: at link time, require that tensor nodes in the graph of a tensor are either embedded, or already part of the parent context (the context passed to link that will be the parent of the new context).

[lukstafi]

User knows what user does? Maybe this will resurface once there's evidence it's helpful.