Thus it completely lacks execution layer (presumes native hardware execution) and the associated tools like linker & debugger.
Please look further into the project I referred to as it absolutely does have the execution layer (its point is to emulate CPUs) with associated tools being supported (via LLVM). Instrumentation is a fundamental requirement here and that is what the project I was referring to provides.
Being able to emulate "real" CPUs means that existing tools can be used (not possible with the approach that Ethereum has taken which is why they have had to spend so much time and money re-inventing the wheel).
It would also make executing such smart contracts possible using real CPUs (assuming the instrumentation part can be efficiently worked out to do this) which is going to be much more realistically achieved by using current hardware rather than hoping for some new future 256 bit register hardware (which I'm not really sure would be of benefit as most non-crypto operations are not going to need 256 bits and future crypto operations would require 512 bits or more).
No doubt this topic is going to get derailed so I will just lock it - for those that are interested I suggest you look into the tech mentioned in the OP.
