Example: preCommits - verify that the number of pre commits does not exceed the number of validators.