Consider removing the `sexpresso` dependency, or ask for it to be updated

[flupe]

Apparently it's broken on nixpkgs, which makes the CI rebuild Agda on every run.

[4ever2]

We could experiment with using an extracted version of the verified printers to replace sexpresso.