Remove array_cast option from tco_migration_flags list