Added callback that collects tix info to quickCheckWithTrace function. Does not do anything useful with it at this stage, just collect and distinguish coverage from failed test runs and successful test runs