fix Issue 12809 - More strict nothrow check for try-finally statement
fix Issue 11542 - scope(failure) messes up nothrow checking
improve test case for 4082
Merge pull request #3592 from 9rnsr/fix11542

Issue 11542 & 12809 - Improve blockExit calculation on try-catch-finally statement