Propagate evaluated-ness a bit more faithfully
This was provoked by Trac #13027. The fix in Simplify actually cures the reported bug; see Note [Case binder evaluated-ness] in Simplify. The fix in CoreTidy looks like an omission that I fixed while I was at it.
Showing with 54 additions and 3 deletions