Use default ASAN options in instr verify code
Use default ASAN options in instr verify code

Summary: As title.

Reviewed By: NTillmann

Differential Revision: D37791226

fbshipit-source-id: 5481f5a87d8ed616729077f800cd6a8bb4dd79d4

facebook/redex,facebook/redex,facebook/redex,facebook/redex,facebook/redex,facebook/redex,facebook/redex,facebook/redex,facebook/redex