various little things
remove some redundant verify checks in board solver