Add verification functions to GVN which check to see that an instruction was