[NewOptimizer] Fix PhiC type lifiting for nested try/catch
Fixes two closely related bugs:
- PhiC nodes were not participating in type refinement during SSA construction,
leading to PhiC nodes that were part of a phi cycle to have too narrow a type.
- PhiC nodes part of a Phi cycle did not get an appropriate upsilon node inserted
during type lifting.
