In case anybody reads this, I've figured out that the trade history screen ( https://steemit.com/market) is incorrectly displaying the time of recent trades. It's off by about 10 hours, which means that the market page will always show the last trade as having occurred 10 hours ago, even for trades that have just gone through. So the internal market is being used after all.