Rendering of Unicode in textual output

[kwxm]

It appears that non-ascii Unicode characters in textual renderings of UPLC programs (for example, as produced by uplc and in the expected results of conformance tests) are now represented by escape sequences. For example, the conformance tests contain the following input:

(program 1.0.0
    (con string "x ∈ ℝ ⇒ x² ≥ 0; z ∈ ℂ\\ℝ ⇒ z² ∉ {x ∈ ℝ: x ≥ 0}.")
)

The output of that program used to be readable but is now

(program
  1.0.0
  (con
    string
    "x \8712 \8477 \8658 x\178 \8805 0; z \8712 \8450\\\8477 \8658 z\178 \8713 {x \8712 \8477: x \8805 0}."
  )
)

Do we want to change it back?