block_preconditioner.h: added more PARANOID tests.