Verification of Behavior Trees with Contingency Monitors