Running TLC model-check with multiple different B machines breaks after the 4th

[iTitus]

Some internal TLC state is not cleared correctly.

UniqueString contains a reference to the symbol in the symbol table which might not get cleared correctly?

[iTitus]

We should be running TLC in a new process or custom separate classloader so we can properly reset it.