Support test-case handlers in instrumented code

[sebastianpoeplau]

This commit fixes eurecom-s3/symcc#140 by calling the test-case handler with the proper calling convention for instrumented code, i.e., setting parameter expressions before the call.