manopapad/proper — pull request #83 by Motiejus (2014-03-08 18:31:36+00:00)
Title: UTF8 generator

WIP; currently not possible to test proper shrinking because of
implementation using ?FORALL().