UTF8 generator

WIP; currently not possible to test proper shrinking because of
implementation using ?FORALL().
Isolate proper_unicode to its own module