Fix semantic analysis with noReturn proc in tail pos

[LemonBoy]

Fixes #10417

[GULPF]

This doesn't work when the try branch is the noReturn branch. Example:

let f =
  try:
    raiseAssert("Failure")
  except:
    1

Not sure if it matters, I cannot imagine a case where it would be useful to end a try branch with noReturn.

[Araq]

Not sure if it matters, I cannot imagine a case where it would be useful to end a try branch with noReturn.

Exactly.