Mark TypeFinalizing/Unfinalizing as requiring closed world, as they change the ABI

Author: kripken

scripts/fuzz_opt.py

@@ -2484,6 +2484,8 @@ def write_commands(commands, filename):
                          ("--abstract-type-refining",),
                          ("--cfp",),
                          ("--cfp-reftest",),
+                         ("--type-finalizing",),
+                         ("--type-unfinalizing",),
                          ("--type-ssa",),
                          ("--type-merging",),
                          ("--unsubtyping",)}