merge verify_deps into debug_info

README.md

 # Dart2js Info
 
 This package contains libraries and tools you can use to process `.info.json`
 files, which are produced when running dart2js with `--dump-info`.
 
 The `.info.json` files contain data about each element included in
 the output of your program. The data includes information such as:
 
   * the size that each function adds to the `.dart.js` output,
   * dependencies between functions,
@@ skipping 63 matching lines @@
     information to compute dominance and reachability data. This information can
     sometimes help determine how much savings could come if the function was not
     included in the program.
 
   * [`coverage_log_server`][coverage] and [`live_code_size_analysis`][live]:
     dart2js has an experimental feature to gather coverage data of your
     application. The `coverage_log_server` can record this data, and
     `live_code_size_analysis` can correlate that with the `.info.json`, so you
     determine why code that is not used is being included in your app.
 
-  * [`verify_deps`][verify_deps]: a tool that verifies that all elements are
-    reachable from the program's entrypoint. If there are unreachable elements,
-    this indicates that the dependency information is incomplete.
-
 Next we describe in detail how to use each of these tools.
 
 ### Code deps tool
 
 This command-line tool can be used to query for code dependencies. Currently
 this tool only supports the `some_path` query, which gives you the shortest path
 for how one function depends on another.
 
 Run this tool as follows:
 ```bash
@@ skipping 158 matching lines @@
   * Shut down the coverage server (Ctrl-C). This will emit a file named
     `mail.dart.js.coverage.json`
 
   * Finally, run the live code analysis tool given it both the info and
     coverage json files:
 
 ```bash
 dart2js_info_live_code_size_analysis main.dart.info.json main.dart.coverage.json
 ```
 
-### Verifying dependencies
-
-Coverage of dependency information may be incomplete. If there are elements that
-are live in the output that are unreachable through dependencies from the
-program's entrypoint, then we have incomplete dependency information. Note,
-however, that all elements may be reachable from the entrypoint even if there
-is missing dependency information. In order to verify that all elements are
-reachable from the app's entrypoint, simply run the tool as so:
-
-```bash
-dart2js_info_verify_deps foo.info.json
-```
-
-If all elements are reachable from the entrypoint, then the tool will return
-with exitcode 0. Otherwise, the tool will output the list of all functions that
-are not reachable from the entrypoint and return with exitcode 1.
-
 ## Code location, features and bugs
 
 This package is developed in [github][repo].  Please file feature requests and
 bugs at the [issue tracker][tracker].
 
 [repo]: https://github.com/dart-lang/dart2js_info/
 [tracker]: https://github.com/dart-lang/dart2js_info/issues
 [code_deps]: https://github.com/dart-lang/dart2js_info/blob/master/bin/code_deps.dart
 [lib_split]: https://github.com/dart-lang/dart2js_info/blob/master/bin/library_size_split.dart
 [coverage]: https://github.com/dart-lang/dart2js_info/blob/master/bin/coverage_log_server.dart
 [live]: https://github.com/dart-lang/dart2js_info/blob/master/bin/live_code_size_analysis.dart
 [function_analysis]: https://github.com/dart-lang/dart2js_info/blob/master/bin/function_size_analysis.dart
-[verify_deps]: https://github.com/dart-lang/dart2js_info/blob/master/bin/verify_deps.dart
 [AllInfo]: http://dart-lang.github.io/dart2js_info/doc/api/dart2js_info.info/AllInfo-class.html