[hseq] Fix a deprecation warning about the use of String.set.
[hseq] Fix a deprecation warning about the use of String.set.

Lib.stringify was treating strings as mutuable. This has now be changed to
treat strings as immutable.

mwb-cde/hseq-prover