В тестировании стиля AAA я не использую VerifyAll, но вместо того, чтобы проверять, методы были вызваны явно как часть единицы теста. В области Arrange я только настраиваю методы, которые должны возвращать значение.
на примере Rhino ...
//Arrange
mockedInterface.Stub(x => x.SomeMethod1()).Returns(2);
...
//Assert
mockedInterface.AssertWasCalled(x => x.SomeMethod1());
mockedInterface.AssertWasCalled(x => x.SomeMethod2());
Assert.AreEqual(...); // stanmdard NUnit asserttions
Мне не нужно устанавливать ожидаемый вызов SomeMethod2 (), если он ничего не возвращает.
В случае свободных приставок нет необходимости вызывать VerifyAll, так как вызовы других методов не будут проваливаться в тесте (если не требуется возврат, тогда это требуется в разделе Arrange).
Количество утверждений должно быть сведено к минимуму (создайте больше тестов, если оно становится слишком большим), и порядок их не должен иметь большого значения.