Detecting Routing Leaks by Counting