COMPMID-492: Port ArithmeticAddition to new validation

Change-Id: I134b5ed6581b42fac6be6311679473b67d1d5bf4
Reviewed-on: http://mpd-gerrit.cambridge.arm.com/85972
Reviewed-by: Anthony Barbier <anthony.barbier@arm.com>
Tested-by: Kaizen <jeremy.johnson+kaizengerrit@arm.com>
16 files changed