Implement the hypothesis filtering for the leadership filter, including - code that follows the derivation laid out in #8 - unit tests that ensure that the code works properly with arbitrarily selected vectors ETA: T 11/15