Better document that frozen pyclasses can use interior mutability

[ngoldbaum]

For example, with a mutex. This also leaves open the possibility for users to add their own Sync implementations if they want to manage e.g. an UnsafeCell themselves.

This provides a nice migration route for people with mutable state stored in a pyclass who don't want runtime borrow checking.