swift234

Fix a bug in the invalidation of analysis in the inliner and ArrayOpt passes.

And add an assertion to make sure that invalidation messages invalidate some trait.