Use the correct device ordinal to check whether the device the executable was

built for is equivalent to the device the it will run on.

Before this patch, if the device to run on was provided via a stream without
setting the device ordinal in the ExecutableRunOptions, we would check the
default device against the device the executable was built for.

PiperOrigin-RevId: 206892902