feat(tactic/ext): add tracing option (#8633)
Adds an option to trace all lemmas that `ext` tries to apply, along with the time each attempted application takes. This was useful in debugging a slow `ext` call.
Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>
