It would also work to just write 'time'

Quoting overrides aliases and builtins.

  $ 'time' -v -- echo hi
  hi
          Command being timed: "echo hi"
          [...]

The easiest to type is to make a 'time' alias (or shell function in fish, or whatever your shell prefers…)