Bug in term_translator.cpp

[rachelcleaveland]

https://github.com/stanford-centaur/smt-switch/blob/main/src/term_translator.cpp#L250
https://github.com/stanford-centaur/smt-switch/blob/main/src/term_translator.cpp#L455

When transferring terms containing string literals with escape sequences using the cvcv5 backend, the escape sequence is not recognized and extra quotations are inserted. For example, instances of "\u{a}" in a term become ""\u{5c}u{a}"" after transfer.