AFAIK Mojo guarantees sequential execution of enqueued functions. So yeah that would be a fallback.
What I am currently trying to do is use thread 0 of each block + a block level barrier to try to synchronize. But for some reason one of the block’s thread.x 0 gets stuck in the verification loop