Efficiently Retrieving UTF8 from a Character in a String

I pitched a UTF8View on Character here if you're interested.