SymCC may crash if test-case handlers are instrumented

[Sebastian Poeplau]

If the handler registered with symcc_set_test_case_handler is compiled with SymCC instrumentation (which isn't unlikely if it's part of the program under test), it reads garbage parameter expressions from the runtime which may lead to crashes. We should therefore reset any parameter expressions before calling the handler.