VX(He): Add the negation operation and its unit test.