Checks if the boundwitness contains all of the addresses