Currently, the atomics *are* freeze because all mutations happen through `&mut` pointers. I think for now the `NoFreeze` addition should be removed.

In the future, if we move atomics towards `&self` instead of `&mut self` for mutations, we can add the freeze bound back in.