[sledge] Add: __llair_choice intrinsic
[sledge] Add: __llair_choice intrinsic

Summary: To use for nondeterministic choice in tests.

Reviewed By: ngorogiannis

Differential Revision: D23459509

fbshipit-source-id: 318930d02

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