factor memcpy/memmove simplification out to its own SimplifyMemTransfer