Make unsafe-allow state-variable-immutable automatically allow assignments

[frangio]

For uint x immutable = 42 we currently need to unsafe-allow both state-variable-immutable and state-variable-assignment. This is error prone because state-variable-assignment will let through assignments to storage variables as well, which are the main thing to avoid. We should make the immutable override also allow assignments to immutable variables without the second override.