Refactoring.

Decouple profile traversal and hidden cost reporting.
Add a verbose mode.

Shows hidden costs in all functions. Does not require profiling information.
Add keyword for doc search.