Less aggressive razoring in case of an ALL node (from Eelco)

With this patch we have (lower margin is more aggressive):

CUT nodes
d =  ONE_PLY -> razor_margin = 128
d =2*ONE_PLY -> razor_margin = 176
d =3*ONE_PLY -> razor_margin = 256

ALL nodes
d =  ONE_PLY -> razor_margin = 397
d =2*ONE_PLY -> razor_margin = 669
d =3*ONE_PLY -> razor_margin = 861

bench: 5076543