Check that calls to mocks do not violate their method preconditions.
Currently supported are @NotNull and @Max.