Update Rails to 7.2.x

[rwaffen]

Actually I have none yet :slightly_smiling_face:

But updating rails entails more than just bumping version numbers. Please do not merge this but create an issue for the update.

Originally posted by @oneiros in https://github.com/betadots/hdm/issues/423#issuecomment-2299069928