Serious question here. Does pasteurization matter if it's getting seared after? I mean, I know some who simply like their steaks blue via a quick sear and I can't imagine many pathogens are killed that way.
I kind of mentioned it just above, but basically it depends on the time and temp combined.
If you were to bring it up to 125 and leave it there for 10 hours while you went off to work and then came home...um...ewwwwwww.
Searing that dead groundhog Sho'nuff had under his house wouldn't make it any better.
If you came from work, popped it in the bath at 125, or 129, and then cracked it open 75 minutes later and seared it - probably perfection.
Also take into account who you are serving, the product you are serving, etc. IE, older people, children, pregnant women...pork, you want to hit time/temp long enough to take out any trichinosis concerns. (Surprisingly, quite a low temp, and not very long.)
One thing I have found is that you can go higher than you think with this style of cooking - ie a perfect medium rare, edge to edge, cooked at 135 this way, with basically no resting required, will screw up what you think a cut of meat should be.