+ see TODO header of GrothVSSHE.cc

- implement the exotic card and stack operations of the toolbox
- cheater detection: provide a basic protocol for reliable broadcast
