Remove Z3 telemetry

[ranweiler]

Closes #2858.

[mgreisen]

We should also update https://github.com/microsoft/onefuzz/blob/main/docs/telemetry.md

[codecov-commenter]

Codecov Report

Merging #2860 (67175fd) into main (5061a3d) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #2860   +/-   ##
=======================================
  Coverage   28.08%   28.08%           
=======================================
  Files         302      302           
  Lines       35651    35651           
=======================================
  Hits        10012    10012           
  Misses      25639    25639           

Impacted Files	Coverage Δ
src/agent/onefuzz-telemetry/src/lib.rs	2.82% <ø> (ø)

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

[ranweiler]

We should also update https://github.com/microsoft/onefuzz/blob/main/docs/telemetry.md

7201152

The x86 instruction-related telemetry items could also be removed, but let's keep this PR scoped to just Z3.