Just like with JDK-8298952 for Value, we should verify that all Ideal and Identity optimizations were performed after IGVN. This is expensive, so we will only do it under the debug flag VerifyIterativeGVN.

We can also bail-out for a lot of node types, and more precisely analyze them in follow-up RFEs - they could be good starter tasks!