encoding.js: UTF8.decode: Fix RangeError with large enough strings.