> it's trading "bad code can populate the program's string intern table with invalid string objects" for "bad code can instantly deadlock the program", which is not much of an upgrade.

A lot more harm can come from code doing the wrong thing or producing wrong answers than from deadlocks.