It's possible to break a TPMS sensor when the tires are dismounted...but it's unlikely to be a problem and I wouldn't worry about it (even though it happened to me...lol ).
The Mirage uses clip-on style sensors...as opposed to clamp-on. Here's a video demonstrating how Mirage TPMS sensors are mounted on a wheel...
A little bit of plastic is all that's holding the sensor onto the valve stem inside the wheel. So if an inexperienced guy is working the tire machine that day and he isn't paying attention, he can snap one off. But I wouldn't worry about it.
Like others have suggested...just remind the shop that is doing the work that your wheels have TPMS sensors in them.
View my fuel log 2015 Mirage ES 1.2 manual: 51.4 mpg (US) ... 21.9 km/L ... 4.6 L/100 km ... 61.7 mpg (Imp)