Confidence Composition for Monitors of Verification Assumptions