The assumptions in this paper are quite weak. It's like testing whether or not your code is running in a virtual machine. It can be done, but only if the virtual machine authors have made some glaring mistake.

Yes, computation is finite, but that doesn't mean that the authors of the simulation can't use more resources than usual simulating your test of the simulation. Not all parts of the simulation need to run at the same level of detail.