[Bug 1836309] Review Request: ghc-time-manager - Scalable timer