Bridging Dimensions: Confident Reachability for High-Dimensional Controllers