Add verification search after null pruning #99

Closed adajed closed 1 year ago