More aggressive razoring and simplified, more aggressive futility pruning

One theme is testing again the effectiveness of cutNode. But to get a more effective patch, more aggressive futility margins simplifying the code, are also tried. Another instance of cutNode in the LMR reduction formula. Finally, manual insertion of Marco's perft speed-up.