Enhance RecursivelyDeleteTriviallyDeadInstructions to optionally