More ref-checking
More ref-checking

Summary:
This adds one more layer of ref-checking to the Bridge pass, preventing e.g. the inlining of a check-cast instruction across a store boundary.

This makes the BridgePass a little bit more conservative, in line with what the inliner also already does.

Reviewed By: beicy

Differential Revision: D30616680

fbshipit-source-id: 5723d75c42d2ca6e6f7659e5e522efe60dbf5975

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