Move the check for naive copying instructions (header phis, arguments) to the core of DSE rather than a pre-commit pass.

The pre-commit pass wasn't powerful enough anyway: it didn't work for values relayed several times. Its recursive nature fits better in DSE.