Miscutil: simplification of wash_for_utf8

* Uses `.decode("utf-8", "ignore")` instead of a while loop