added coset_vanishing() to constraints and add() to circlepointsecure

added coset_vanishing() to constraints and add() to circlepointsecure #38