I decided that hyper-threading is better even if it were a bit slower because I want to keep one thread unused by Bitcoin and leaving a hyper-threaded half core unused by Bitcoin is better than leaving a whole core unused by Bitcoin. So scratch that request for a benchmark utility. There are other more important features to work on for now.