I've never heard that a qualifier for the simulation hypothesis is that it must be finite. For example, there could be infinitely many simulations recursively, or there could be a sufficiently advanced extra-dimensional lifeform that has generated an unbounded simulation that we live in.

I wasn't referring to the finiteness of the simulation, but rather to the fact that the notion of necessary truth (the box operator) is replaced by high probability. (I'm specifically referring to the modern modal versions of the ontological argument, which are not subject to Kant's objection.)

There's too much jargon here for me to follow what you're saying. I'm not sure what you mean by "box operator" or "modern modal versions of the ontological argument", nor do I know what Kant's objection is.