Optimize infinite loop detection

[huanghantao]

Currently, we have the yasd.max_executed_opline_num option to guess whether there is an infinite loop in the code, but this is checked during runtime. If the code is not executed, then the infinite loop code cannot be checked. Therefore, in the next version, we will analyze whether the code has an infinite loop through static analysis.