[sledge] Check the input datalayout agrees with assumptions
[sledge] Check the input datalayout agrees with assumptions

Summary:
The analyzer (currently) hard-codes some assumptions about sizes of
basic types such as Typ.bool, Typ.siz, etc. Check that these
assumptions are satisfied by the input llvm datalayout, and give
reasonable error messages otherwise.

Reviewed By: ngorogiannis

Differential Revision: D17801941

fbshipit-source-id: 4fe484ee0

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