When the software backtests a strategy with a target exit price, does it verify that the historical exchange price was reached?

Yes, it captures a traded price snapshot once per second and uses those traded prices in the backtesting results.