Adding testcases for some ASC fixed issues.
ASC-71 - Compiler can't resolve return type of a function when function definition is inside of a with block
ASC-74 - VerifyError caused by code involving switch statement
ASC-75 - VerifyError with try/catch/finally with a return in the catch block
ASC-76 - VerifyError with try block with 2 catch blocks and a finally