Test ID and Hashlock contracts from LigoIDE

[rosalogia]

This PR adds tests for each entrypoint in the ID and Hashlock example contracts found at https://ide.ligolang.org/.

All entrypoints for ID contract are tested so far. In order for them to run to completion or error, some changes had to be made:

• The implementation of EQ instruction had to be modified. The implementation seemed to take an input value of Int(1) as True and Int(0) as False. However, according to Michelson reference, EQ should return True only if the two values at the top of the stack are equal, and False otherwise. I believe this includes negative values, since otherwise the ID contract does not run.
• Support for specifying transaction amount had to be added, as certain entrypoints will fail if the transaction amount is not set appropriately