[vm,dyn_modules] Normalize FutureOr types when reading bytecode

TEST=ci (language/nnbd/type_equality/futureOr_normalization_test)

Change-Id: If2a008150f2dac2c278c11c0aea0af7a010c9e80
Cq-Include-Trybots: luci.dart.try:vm-aot-dyn-linux-debug-x64-try,vm-aot-dyn-linux-product-x64-try,vm-dyn-linux-debug-x64-try
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/444200
Reviewed-by: Tess Strickland <[email protected]>
Commit-Queue: Alexander Markov <[email protected]>

Author: alexmarkov

runtime/vm/bytecode_reader.cc

@@ -1418,9 +1418,10 @@ ObjectPtr BytecodeReaderHelper::ReadType(intptr_t tag,
       }
       const TypeArguments& type_arguments =
           TypeArguments::CheckedHandle(Z, ReadObject());
-      const Type& type =
-          Type::Handle(Z, Type::New(cls, type_arguments, nullability));
+      AbstractType& type =
+          AbstractType::Handle(Z, Type::New(cls, type_arguments, nullability));
       type.SetIsFinalized();
+      type = type.NormalizeFutureOrType(Heap::kOld);
       return type.Canonicalize(thread_);
     }
     case kFunctionType: {