More explicit checks in main
More explicit checks in main

Summary:
Add two explicit leak checks:
* After instruction lowering
* After dex writing

Reviewed By: NTillmann

Differential Revision: D40033865

fbshipit-source-id: a1aaebec9acb76aad72e10786d1549edeeae3e0d

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