Accept options in history APIs to allow scroll restoration to be disabled

LayoutTests/fast/dom/Window/resources/window-property-collector.js

 function collectProperties(windowHasBeenGCed)
 {
     // Collect properties of the top-level window, since touching the properties
     // of a DOMWindow affects its internal C++ state.
     collectPropertiesHelper(window, windowHasBeenGCed, []);
 
     propertiesToVerify.sort(function (a, b)
     {
         if (a.property < b.property)
             return -1
@@ skipping 57 matching lines @@
     case "navigator.onLine":
     case "navigator.platform":
     case "navigator.product":
     case "navigator.productSub":
     case "navigator.vendor":
         expected = "window." + propertyPath;
         break;
     case "screen.orientation":
         expected = "'portrait-primary'";
         break;
+    case "history.options.scrollRestoration":
+        expected = "'auto'";
+        break;
     }
 
     insertExpectedResult(path, expected);
 }
 
 function collectPropertiesHelper(object, windowHasBeenGCed, path)
 {
     if (path.length > 20)
         throw 'Error: probably looping';
 
@@ skipping 19 matching lines @@
             emitExpectedResult(path, "0");
         } else if (type == "boolean") {
             expected = "false";
             if (path == "closed" && windowHasBeenGCed )
                 expected = "true";
             emitExpectedResult(path, expected);
         }
         path.pop();
     }
 }