[Inferbo] Reporting: refactoring
[Inferbo] Reporting: refactoring

Summary:
Essentially moving functions, splitting them, renaming them to `check_XXX`.

Depends on D7288933

Reviewed By: skcho

Differential Revision: D7289084

fbshipit-source-id: f0e2e6c

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