(1) For all operators: Add a test where both operands are completely 
    defined, i.e. all v-bits 0.

(2) Add support for IROps with vector operands.

(3) Test floating point operations with various rounding modes.