Use the new test harness to write integration tests

[heueristik]

Context

@sug0 wrote a test harness here https://github.com/anoma/pa-tests that we can use to test the integration of the circuits and contracts in different test environements.

Scope

Use the test harness and make adjustments to the code.