Verify soundness of unsafe code

[Nertsal]

The only place where unsafe is used is get_many_unchecked_mut in trait Storage and in generated XStructOf structs (archetypes).

It could be replaced with lending iterators, but they are too inconvenient to use inside for-loops. (i used them in an earlier version but then decided against them)