Un-revert "Implement simple effect typing for variables" and "Handle switch effects"

test/cctest/test-global-handles.cc

 // Copyright 2013 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 400 matching lines @@
     strong_nodes_.erase(strong_nodes_.begin() + offset);
   }
 
   void AddWeak() {
     v8::Isolate* isolate = reinterpret_cast<v8::Isolate*>(isolate_);
     v8::HandleScope scope(isolate);
     v8::Local<v8::Object> object = v8::Object::New();
     int32_t offset = ++weak_offset_;
     object->Set(7, v8::Integer::New(offset, isolate));
     v8::Persistent<v8::Object> persistent(isolate, object);
-    persistent.MakeWeak(isolate, this, WeakCallback);
+    persistent.MakeWeak(this, WeakCallback);
     persistent.MarkIndependent();
     Object** location = v8::Utils::OpenPersistent(persistent).location();
     bool inserted =
         weak_nodes_.insert(std::make_pair(offset, location)).second;
     CHECK(inserted);
   }
 
   static void WeakCallback(v8::Isolate* isolate,
                            v8::Persistent<v8::Object>* persistent,
                            RandomMutationData* data) {
@@ skipping 65 matching lines @@
         v8::Utils::ToLocal(eternals->Get(indices[i]));
     v8::Handle<v8::Object> object = v8::Handle<v8::Object>::Cast(local);
     v8::Handle<v8::Value> value = object->Get(i);
     CHECK(value->IsInt32());
     CHECK_EQ(i, value->Int32Value());
   }
 
   CHECK_EQ(kArrayLength, eternals->NumberOfHandles());
 }