Trace diagnostics (#2333)

* trace rule diagnostics

* disable checkProject in HLS test suite

We already disable this in ghcide tests
It introduces noise (traces are harder to read),
and can potentially break tests too (e.g. eval plugin)

* Undo breaking auto-format

* fix missing import

* Fix splice plugin tests

* Fix test

Co-authored-by: Javier Neira <atreyu.bbb@gmail.com>