Support libraries that don't allow mutation

[asmeurer]

See the discussion at google/jax#16099

Hypothesis support has been added at google/jax#16099, but we'll need support in the test suite itself. We'll probably need some sort of canonical check to see if it works.

I noticed that we test things like the copy parameter in asarray using mutation. That test would need to be disabled for JAX. Also it seems we we don't yet test copy for reshape or astype.