add benchmarks

[dagit]

I went crazy with adding INLINE and that's gotta have some drawbacks somewhere. Maybe we can figure that out with better benchmarks. Plus I need to publish the benchmarks I'm currently using privately.

[dagit]

We now have benchmarks! I still need to add my path generator benchmark.

[dagit]

@viercc I just added GHC 9.0.1 to the CI build and I noticed that the benchmarks don't build on GHC 9. Do you know anything about that? It's weird because it's a type error and I find that very odd. For now I just disabled the benchmarks on ghc 9, but I'd like to get them working there.

[viercc]

@dagit I guess it's something to do with the change in how type checking works with RankNTypes.

I checked (locally) the fix is to change the 160th line in logic-performance.hs like below

@@ -157,7 +157,7 @@
-forEachMonad :: (forall m. Int -> (MonadLogic m) => m ()) -> [Benchmark]
+forEachMonad :: (forall m. (MonadLogic m) => Int -> m ()) -> [Benchmark]

[dagit]

Thanks! Yeah that fixed it.