Out of curiosity, why is the Update test not required to be transactional? It seems like that makes it much less realistic -- I doubt that anyone is doing read-updates outside of a transaction in real life. And exercising the framework's transaction support seems like a good thing.