Basic profiling information on highstates.
Merge pull request #12345 from cachedout/highstate_profile

Basic profiling information on highstates.