add some checks for CircList comonad

- any addition that includes a reversion (reverseC) fails