Added nqueens benchmark using nothing special at the bottom.
Added note on LogicGrowsOnTree overhead to the README.
Tweaked FAQ.
Bumped upper bound on smallcheck.
Bumped upper bound on the free package.
Reverted switch to using free instead of operational.

Although it did significantly better in some
benchmarks, in turned out to be much slower than
trees generates from problems.

Revert "Marked the two new LogicGrowsOnTrees helper functions as being INLINEABLE."
This reverts commit a3ec2a2e1fbff00c170a2ee9a35a427608e57d7a.

Revert "Switched from operational to free, with a huge increase in performance!"
This reverts commit 890177ed96c46cc0327c247d1e32cf8519c2eee9.

Revert "Caching the results of actions is no longer supported."
This reverts commit afa9db6c80b9b531c6188379895c15f43aafde9f.