I don't know about that roughing the passer penalty on Thomas. I've seen more violent hits after the release that were not called, but this unavoidable and unintentional hit did. If every hit of that velocity or worse on the QB were automatically deemed to warrant a roughing the passer flag, a lot of QBs could easily induce more roughing the passer calls by strategically passing the ball at the very last second immediately before impact. What the hell is a safety to do, learn how to slow time ala Matrix and side-step the QB? Unfortunately for Seattle, that is the one call that changed the entire game in Miami's favor.
Reminder: this is what yellow looks like.