Change Details

Added cases to the json test cases. In addition, added a new unit tests that check if the opcodes behave in the expected way in a large variety of situations.

`make check`