* Tests: replace unsquare with a shrinkable newtype

* Tests: do not depend on quickcheck-unicode

* Refactor most of remaining forAll

* Refactor t_utf8_err to report more information about counterexamples