UTF8 generator

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