I highly doubt that there is another model that would not require non-trivial work to be fast, while also being reasonably portable to different architectures.

I highly doubt that there is another model that would not require non-trivial work to be fast, while also being reasonably portable to different architectures. Sure, we could be faster by just sending x86 machine code, but that isn't really the point.