There is a rather long term plan outlined in issue #15359 38. We would first flag non-deterministic behaviour and then one could switch to deterministic implementations as desired.
It is, however, hard work, and seems to be one of those things everyone wants to have and no-one wants to do.
Best regards
Thomas