> Is it smart enough to insert the time codes such that the subtitle is well enough synchronised to the spoken line?

Yes, Whisper has been able to do this since the first release. At work we use it to live-transcribe-and-translate all-hands meetings and it works very well.