add more tests based on the dishonest casino example by durbin et al.