Add integration tests for `contract` macro

[HDauven]

Summary

Add a number of test contracts to test if the contract macro properly generates the expected output for a given contract.