> but nested transaction support doesn't seem that much of a reach if you're an MVCC-style system anyway

Also, do not forget about double COMMIT, intentional or not.