Implement loop hoisting (loop-invariant code motion), prior to vistit counting (the semi-concrete interpretation run)

[lukstafi]

This will allow more tensor nodes to become virtual.

[lukstafi]

This entails changing the fix-style construct in Low_level to a let rec-style construct, since the latter is more general.