Expand contract tests - calling contracts

[cheezus1]

Expand the contract tests so that we cover everything related with initialization, calling and storing state of contracts.

• Calling contracts
  • [ ] successful call
  • [ ] existing and non-existing contract
  • [ ] with sufficient and with insufficient funds