Add tree invariant checking to the test262 runner.

Sure!