In Mockito verification is explicit. So you basically verify(assert)
if a particular invocations has already taken place or not and it's up
to you to choose what's important to be examined.
Mockito has also much stronger separation between stubbing and mocking
functionality. Thus, it let you stub some calls to make the code pass
the path you intended without verifying the calls have happened.
Moreover, you are not obligated to sub invocations unless you are
happy with default values Mockito provides you.
Such an approach separates test setup logic from test verification one
much better increasing readability.
Indeed, it may happen you end up witch more lines of code when you
have interest to verify all interaction and you have a need to stub
some invocations at the same time.
Having said that with regards to verifying all interactions at once.
Mockito wouldn't know what to verify, since you have not expressed
your intent. All may mean not what you may want.
Cheers
Igor