Set default argument "encoding" of bytes.decode() to "utf-8" + fix bug in bytes.__add__