Enhance the sanity check for block sizes; check that the resulting pointer is