Review use of mutable statics

We have a bunch of mutable statics that we might not really need, especially in the guest. We should review them and check if they are necessary/make sure that they are safe if they are (especially since we do generate `&mut` rather than only raw pointers to some of them).