SQL Azure имеет обработку, идентичную SQL Server - ограничивается только очень большим подмножеством того, что доступно в SQL Server. Таким образом, вы можете перефразировать свой вопрос следующим образом: как доказать правильность обработки транзакций в SQL Server.
Что ж, неудачный ответ таков: вы не можете доказать правильность, вы должны в этом доверять MS.
Очевидно, что вы можете столкнуться со стрессовой ситуацией, пытаясь «обмануть» СУБД в угловую ситуацию, чтобы убедиться, что транзакции продолжают соблюдаться, но неспособность найти ошибку не доказывает, что ошибка не может быть найдена.
Наконец, я хотел бы, чтобы атомарные транзакции были одной из важнейших функций SQL Azure или SQL Server (давно установленный продукт MS), поэтому вы можете быть очень уверены, что все сделано правильно.