Cleanups in preparation of GHC 9.8

[elopez]

Description

This PR does a few cleanups to reduce the number of warnings/errors when compiling with GHC 9.8

Checklist

• tested locally
• added automated tests
• updated the docs
• updated the changelog

[msooseth]

Wow, nice, thanks! LGTM -- did you check the warning about

Module ‘Data.Aeson’ does not export ‘json’

[elopez]

@msooseth Yeah, older aeson versions export json and we have a variable called that all around the file, so it needs hiding. But the newer versions don't have it anymore, so it produces that warning. I can't remove the hiding ... or it would break the build for older versions of aeson. Maybe we can bump the min aeson version to something higher? I think I tried that and it failed for a different reason but I can't recall the specifics now; give it a try if you can 😄

[elopez]

I was hoping to update nixpkgs further as well but currently z3 is broken: NixOS/nixpkgs#327052

[msooseth]

Ahhhh okay, that makes sense regarding the hiding. Sad that Z3 is broken. Thanks, merging!

[numinit]

I'm hoping that should be merged soon. :-)