trace_fmt should be support in quickcheck based test

[proppy]

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