Replace use of Assumption for globals by using explicitly mutable associations

- avoids invalidation, and makes lookup stable
- otherwise, I had many GenericGlobalReadNodes in Richards
- and method invalidations after each outer benchmark loop iteration

Signed-off-by: Stefan Marr <git@stefan-marr.de>