veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System