Update description + fix mistypes in documentation
Refactor code to do not require "our $end_of_block"

return special value at the end of try/catch/block instead.
It is used to identify that "return" has not been called inside
try/catch/finally block.
Deduplicate "subroutine call" code in try-catch-optree.c