On posix systems, there are 2 possible implementations of SystemTickSource. Systems that report the availability of a posix monotonic clock use it, otherwise they use the system wall clock. We should log at startup which clock source is in use, and perhaps also write a unit test to ensure that the monotonic source is used on systems that support it.