bisect: add "check_good_are_ancestors_of_bad" function