Verify a whole Bloq program over a seeded shot batch.
The program is flattened, then shots shots run on a shared simulator with
full region control flow. Every detector must be constant across applicable,
non-discarded shots; each Observable node’s per-shot value is reported.