Remove unused initial depth parameter from abductive prover.
Disabled eager use of invalidity heuristic in proof search and added it
as a check prior to commencing proof search (SL).