Add tree invariant checking to the test262 runner.