[sledge] Translate ExtractElement and InsertElement despite being vector
[sledge] Translate ExtractElement and InsertElement despite being vector

Summary:
Some code that is otherwise benignly scalar still uses the
ExtractElement and InsertElement vector operations, so translate them
as if they were array operations.

Reviewed By: ngorogiannis

Differential Revision: D17801949

fbshipit-source-id: 89f3666bd

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