We're missing a final check that the many stacks in the PState (e.g. discriminator, array index, group index, escape shchema, etc.) are empty.

Akin to how we check that pools of objects have all the objects restored to the pool at the end.