Regarding your point specifically, that is, computational limits, I think that these can be overcome eventually by using highly specialized "transaction validation" hardware...
Just like ASICs (or whatever) are used for mining coins today
So you think that someone is going to attempt to invent specialized processing units for the sole purpose of running nodes? You do realize that running a node only makes you constantly lose money, so there is zero incentive to attempt a large investment for such.