> Has anyone ever written a piece of code that's really so difficult for a human to read and figure out whether it halts?

Any interpreter for a Turing-complete language is an example.