Remove ability to check unreachable code.

If code is unreachable then looking up any variable should return
Bottom. But implementing checking unreachable code that way is not that
useful.