Update on "compiler: Improve ValidateNoRefAccessInRender to ignore access in effects"

Improves ValidateNoRefAccessInRender (still disabled by default) to properly ignore ref access within effects. This includes allowing ref access within functions that are only transitively called from an effect.

While I was here I also added some extra test fixtures for allowing global mutation in effects.

[ghstack-poisoned]