Detect and optimize/error shared write and read-write

[GiggleLiu]

The following code has the simultaneous read-write issue

x += x * y

One can not revert this operation by using x -= x * y.

The following code has the share write issue in the adjoint AD pass

y += x * x

Because, both x want to update its gradient field.

[GiggleLiu]

Fixed by a PR in NiLangCore.