Dump allocation and initialization node attributes that reflect the outcome of escape analysis (e.g. 'is_non_escaping', 'is_scalar_replaceable'), and possibly add more fine-grained dumps at intermediate states of escape analysis and scalar replacement. Add IGV filter to highlight the new information.