[clang-tools-extra] [clang-tidy] Add `bugprone-virtual-arithmetic` check (PR #91951)

[Piotr Zegar via cfe-commits]

PiotrZSL wrote:

bugprone-pointer-arithmetic-polymorphic-object or bugprone-pointer-arithmetic-on-polymorphic-object could be fine.
limiting check to polymorphic objects it's fine, someone can always enable an cppguidelines check to cover all cases.

Also check-alias should be added to cert.

https://github.com/llvm/llvm-project/pull/91951