RFC: Normalize arrays' "auto-increment" value on copy on write

Project Governance
Author
Wes (@WesNetmo)
If two arrays are equal/identical, they should remain equal/identical arrays after the same array_push(..., $val) call is executed on both of them:

This RFC has not yet started voting