Merge official-stockfish/master

bench: 6141390

diff --cc src/Makefile
index 54d2430,33a270f..074e98f
--- 1/src/Makefile
--- 2/src/Makefile
+++ b/src/Makefile
@@@ -86,13 -86,12 +88,17 @@@ endi
  # Note that Makefile is space sensitive, so when adding new architectures
  # or modifying existing flags, you have to make sure there are no extra spaces
  # at the end of the line for flag values.
+ #
+ # Example of use for these flags:
+ # make build ARCH=x86-64-avx512 debug=on sanitize="address undefined"
+ 
  
  ### 2.1. General and architecture defaults
 +largeboards = no
 +all = no
 +precomputedmagics = yes
 +nnue = no
 +load_net = $(if $(filter $(nnue),yes),net)
  
  ifeq ($(ARCH),)
     ARCH = x86-64-modern

diff --cc src/search.cpp
Simple merge

diff --cc tests/instrumented.sh
Simple merge