* Roll back to using doubles in weights
* Fix memory problem in ScoresCache, and add support for post-pruning
* Set minimal post-pruning (threshold 2)