add a test that shows highestKnownPrimaryInSet gets percolated properly