Refactor the navigation algorithm

* Create the document after the global is created.
* Calculate the sandbox flags and origin before the document is created.
  This replaces the previously-declarative determination of the document
  origin.
* Thread through much of the previously-implicit state as explicit
  arguments.