RPC trace cleanup: remove simplification logs

[geo2a]

Fixes #3871

Note that removing the simplification log request parameters and the simplification log entries form the response is same, because pyk is already modified to not recognize them, see:

• the LogEntry type
• the parameters for execute, simplify and implies request

But even considering that, we should run pyk's integration tests before merging.

[jberthold]

While we are at it, we could maybe clean up more - the RewriteSimplified constructor in RewriteTrace and all related code is one example.
(can also merge this and proceed with other things, though)

[jberthold]

Am I right that we shouldn't export EquationTrace and eraseStates any more here?

[geo2a]

Yes, thanks, removed them

[geo2a]

I ran the pyk integration tests and they pass.

@jberthold sounds good, I'll do a bit more clean-up.

[geo2a]

@jberthold I did not fully remove the RewriteSimplified constructor as it is used for the -l Rewrite logging level as I understand.

I think it is probably enough clean-up at that point.

[jberthold]

@jberthold I did not fully remove the RewriteSimplified constructor as it is used for the -l Rewrite logging level as I understand.

I think it is only used for error reporting but nvm 🤷

[geo2a]

We probably need to update K once runtimeverification/k#4367 is merged to fix Kore integration tests:

error: hash mismatch in fixed-output derivation '/nix/store/0wsq2aqzqlcb0g61jm389zwqmmjjjsmz-k-7.0.40-dirty-maven-deps.drv':
         specified: sha256-DnY+Zx4fr3iuI24VjlnCVeQCcK6aHYYAEW13aUEzd+I=
            got:    sha256-6rGuU8NFSp3lQVxxPj5WREpNVPneMqPH45DFEmLiH6I=

[goodlyrottenapple]

Nice! Great to see the cleanup :)