See https://github.com/tendermint/tendermint/pull/3928#discussion_r322695322 Maybe there are other places. Note: I am not saying we shouldn't use `tmtime` at all, just that we shouldn't use it where we actually need time monotonicity.