Add VerifyNoMoreIntractions and VerifyZeroInteractions
This will allow to write tests like the following, which AFAICT are not possible at the moment:
var mock = new Mock<IFoo>();
// Automatically return defaults for everything, so no additional setup.
mock.Verify(foo => foo.SomeMethod());
mock.Verify(foo => foo.AnotherMethod());
Of course, one could use strict mode and specify all the expectations in advance, but that somewhat breaks the AAA approach.