figure out how to handle noret

[williballenthin]

do we assume call don't return until we can prove that they do?

or do we backtrack and remove code once we've found a function is noret?

gut feeling is that the cleanup strategy is easier for analysis passes, cause its one less thing to worry about. but it means that we need robust code cleanup logic.

where do we track the noret attribute?