Protect heap allocation instructions from removal by dead instruction elimination.
Don't try to check squashed values, and bolster checking that this condition holds