Move bench
Add a silent option

Update README.md
Accelerate IDA

Reducing the leaves inside the search (as was done in the beginning...)
instead of relying on the list monad leads to a 13% speedup!
Update IDA

Move parameters to a type class.
Inlining saves the day.