You got it with your edit.

Of course the virtual machine assumes they are atomic as you first stated, but the reality of the sharding is they can't be.

Building the virtual machine was the fun, easy part. The consensus scaling was the hard part which they should have done first even before raising ICO money. That is disgraceful.