> Imagine libraries which compile fine 99% of the time, but produce the wrong semantics every 1%

Nondeterministic doesn’t mean random. Consider how NFAs relate to DFAs and then realize the same applies to nondeterministic TMs.