I’d argue that we already know how time works, so the proof exists up front and there is no “just in case”.

You could make an argument that there are more important things to fix, but then you’d be deciding consciously that it was okay to ship software known to be incorrect.