bump scalaz3 version
stuff
flatMap test
symmetric prop cases
flatMap backwards
fix z3 test