ex:

for i in xrange(5):
    pass
else:
    return 2
"unreachable here!"

We didn't prune the "unreachable here" line, which caused
some issues.  I guess we could also support compiling
trivially-unreachable blocks.