Some further performance experiments

Before I was using a 2GB machine, and now I'm on an 8GB one, and the
compiler time for fib.ml in the logic has gone from 4 minutes to a few
seconds.  So I guess memory usage is the main bottleneck problem.