Allowing for AddDownPropagator option with EigCG and printing a warning message