I agree. There is no point in adding coupling for it's own sake by asserting that trivial methods are called.

Verification testing does however have it's uses in terms of verifying that key interactions have happened in the way you expect.

In the most part it's used correctly, assertions are much more widely used than verification testing.