> Non-deterministic behavior will never be trusted by default, as it's simply not trustable.
Never is a long time...
If you have a task that is easily benchmarkable (i.e. matrix multiplication or algorithm speedup) you can totally "trust" that a system can non-deterministically work the problem until the results are "better" (speed, memory, etc).
Proving the correctness of the “improvements” is another thing entirely, though.