trace_fmt should be supported in quickcheck based test

**Describe the bug**
Currently it doesn't seems that trace_fmt is supported in quickcheck test functions (or function called by quickcheck test functions).

**To Reproduce**
```
fn trace_fmt_bool(b: bool) { trace_fmt!("trace_fmt_bool: {}", true); }

#[quickcheck]
fn prop_test_trace_fmt() -> bool {
trace_fmt!("trace_fmt_quickcheck: {}", true);
trace_fmt_bool(true);
false
}
```

**Observed behavior**

```
[ RUN QUICKCHECK ] prop_test_trace_fmt cases: test_count=default=1000
...
0486: fn trace_fmt_bool(b: bool) { trace_fmt!("trace_fmt_bool: {}", true); }
0487:
0488: #[quickcheck]
______________^
0489: | fn prop_test_trace_fmt() -> bool {
0490: | trace_fmt!("trace_fmt_quickcheck: {}", true);
0491: | trace_fmt_bool(true);
0492: | false
0493: | }
|_^ FailureError: The program being interpreted failed! Found falsifying example after 1 tests: []
[ FAILED ] prop_test_trace_fmt
[=======================] 8 quickcheck(s) ran.
```

**Expected behavior**
trace_fmt messages are printed