[proxies] Implement [[Set]].

src/messages.h

Index: src/messages.h
diff --git a/src/messages.h b/src/messages.h
index 7825259b285d1f2935e856098812c5549e89066e..6713f52051d6a03e98cee91aa6d055111acfda37 100644
--- a/src/messages.h
+++ b/src/messages.h
@@ -189,8 +189,6 @@ class CallSite {
   T(ProxyHandlerTrapMissing, "Proxy handler % has no '%' trap")                \
   T(ProxyHandlerTrapMustBeCallable,                                            \
     "Proxy handler %0 has non-callable '%' trap")                              \
-  T(ProxyIsExtensibleViolatesInvariant,                                        \
-    "Result of trap 'isExtensible' is inconsistent with proxy's target")       \
   T(ProxyNonObjectPropNames, "Trap '%' returned non-object %")                 \
   T(ProxyPreventExtensionsViolatesInvariant,                                   \
     "Trap 'preventExtensions' returned true but the proxy's target is "        \
@@ -206,6 +204,8 @@ class CallSite {
     "Proxy target property '%' is not configurable")                           \
   T(ProxyTrapFunctionExpected,                                                 \
     "Proxy.createFunction called with non-function for '%' trap")              \
+  T(ProxyTrapViolatesInvariant,                                                \
+    "Result of trap '%' is inconsistent with proxy's target")                  \
   T(RedefineDisallowed, "Cannot redefine property: %")                         \
   T(RedefineExternalArray,                                                     \
     "Cannot redefine a property of an object with external array elements")    \