Base number of resolver threads on number of cores
Formatting in README and benchmark results