More accurate verification search
Change UCI option for tactical personality.