Improve compiler performance to make tooling more responsive

[paulcadman]

The Juvix compiler takes about 4s to compile the counter logic function. This has an impact on the responsiveness of the Juvix tooling and will get worse in larger examples.

We have a mitigation for performance already:

• Per-module compilation #2392

And we have done some investigations of the performance of the polysemy library relative to the effectful library which shows we could get a significant performance improvement by replacing polysemy:

• Effect benchmarks #2640

We propose to do the following:

• Improve per-module compilation by checking modification time #2680 (we decided not to do this because it turned out not to affect performance very much, see benchmarks on Check modification time when loading stored modules #2698)
• complete Replace polysemy by effectful #2663
• Improve efficiency of building Internal.InfoTable #2394
• Profile the compiler to see what other bottlenecks exist

Additional issues that have arisen:

• juvix html has high memory usage #2744
• Parallelize the pipeline #2749