Investigate new profiling options

[ana-pantilie]

Blocked on co-log.

• Build with GHC 9.2.3, open branch with this experimental version
• Investigate the ghc-debug package

[JKTKops]

Specifically:

co-log's corresponding issue is blocked on chronos' which is blocked on bytesmith. bytesmith doesn't have an open issue about this, but the core maintainer is also the core maintainer of chronos.

[goodlyrottenapple]

there is now a bytesmith PR adding support for GHC 9.2 byteverse/bytesmith#23

[goodlyrottenapple]

Graphviz seems to also need this PR merged for GHC 9.2 support ivan-m/graphviz#53

[goodlyrottenapple]

I've added a preliminary document outlining the profiling options for haskell programs here https://github.com/runtimeverification/haskell-backend/blob/ghc9/docs/profiling.md

since there are many options and tools, please let me know what to focus on when writing this up. I would like this to be a useful lookup guide when we want to do profiling

[ana-pantilie]

Check to see how fast 9.2.3 is compared to 8.10.7.

The tests are in test/regression-evm

[ana-pantilie]

Check the error in speedscope to figure out what is going on with kore-prof on this version of GHC.