Fix incomplete assignment operators used in copy constructors; fix algorithm for detecting aliased mem writes in global DU chains.
