swift234

Change where in the pass manager we validate that analyses are unlocked.

Verify just prior to running passes, and after running each pass, that
no analyses are locked from being invalidated.