Use tart-tracing in basic tests
Convert from tart-tracing to tart-stepping in all tests
Remove tart-tracing dependency