1. 修复了丢异常时不会导致程序中止的异常
2. 修复了对非除法二元指令判断 RHS 是否为 0 的验证错误
3. 修复了优化不完全的 Bug
4. 更新了一些注释