[llvm] [NFC] [HWASan] Add link to proof for address calculation (PR #86367)

[via llvm-commits]

github-actions[bot] wrote:

<!--LLVM CODE FORMAT COMMENT: {darker}-->

:white_check_mark: With the latest revision this PR passed the Python code formatter.

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