Include threat-detection credits in forecast totals, expose monthly low/high/stdev, and fix formal-verifier tool denials

Include threat-detection credits in forecast totals, expose monthly low/high/stdev, and fix formal-verifier tool denials #20475