[tlively]

When DAE2 removes unused values, replacing an expression (such as a drop of a concrete block containing an unreachable child) with its kept children can change the expression's type from none to unreachable. Track when a replacement in Optimizer becomes unreachable and run ReFinalize in parallel on affected functions at the end of DAE2::optimize() after global type rewriting.

[gemini-code-assist]

Code Review

This pull request introduces a refinalization step in the Dead Argument Elimination (DAE2) pass to handle cases where removing unused expression results introduces new unreachability, requiring enclosing expressions to be refinalized. It adds a refinalize flag to FunctionInfo and runs a custom Refinalizer pass after global type rewriting to ensure correct type propagation for instructions like call_ref and ref.func. Test cases have been added to verify this behavior. There are no review comments, so I have no additional feedback to provide.