Add small cross-tests of Arithmetic instructions.

This covers all ICE primitive data types.