`ARR32-C`: Improve alert message and links

[lcartey]

Affected rules

• ARR32-C

Description

Address the non-critical review issues from #274 (comment):

• The alert message should be changed to "Variable-length array size derives from a potentially overflowing or wrapping expression." to capture uncertainty in the overflow library (it only tells you if the expression may overflow).
• Add links in the overflow cases to the overflowing expression and the relevant dimension expression.