[scheduler] quiet at procedure level
[scheduler] quiet at procedure level

Summary: There can be A LOT of procedures -- currently we log two lines (started/done) for each one, when doing call graph scheduling. This leads to ridiculously long log files.  Switch to only log these messages in the log file and only if we are verbose logging.

Reviewed By: jvillard

Differential Revision: D15413330

fbshipit-source-id: 6e26693e8

jvillard/infer,facebook/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,jvillard/infer,facebook/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,jvillard/infer,facebook/infer