Optimizer should record whether to continue execution after ENDFINALLY in TryStack

With respect to the variable throwed in https://github.com/neo-project/neo-devpack-dotnet/blob/958b63d1e534247240245143187c46224f74d54f/src/Neo.Compiler.CSharp/Optimizer/Analysers/InstructionCoverage.cs#L147 Here we have a throwed in each basic block context. In other words, only a single throwed state is available in a single recursive call. If we represent whether Exception had been with a single variable bool throwed, we may face trouble in a try nested in a finally:

try{throw ...}
// no catch
finally
{
    try {do_something();}
}

In do_something(), the variable throwed is true because we throwed from the outer try. But nothing had been throwed in the inner try.

neo-project / neo-devpack-dotnet