Replace the stub implementation of invalidation with the proper implementation. A ReadPathCache is added to each global so that it can keep tracks of what target are associated to which read paths.
Add analyses that allow the modification of globals via the analysis mechanism of Pipeline.