CostReader: fixed oops in input nomenclature
BlockManager: fixed boundary case bug wrt blocksInBox
CoreManager: fixed bugs in coresInBox
SolutionGuarantor: debug statements and debug code
coresolvertest: debugging SolutionGuarantor