Improve type resolution of unlabeled blocks

[FnControlOption]

If the last statement of an unlabeled block is a noreturn, the block becomes noreturn also. Otherwise, the block is void.

This will be helpful for peer type resolution:

const foo = bar() catch |err| {
    // do stuff
    return;
};