We opened a support ticket with Microsoft regarding krbtgt password rotation and got the following answer:
Our backend team has informed me that the krbtgt account password is rotated every 7 days.
This confirms that the krbtgt password is automatically rotated by Microsoft in Azure AD DS.
It would be nice if this information could be found in AADDS online documentation, but it's currently not the case.