Function note_memory_fatal 

pub fn note_memory_fatal()

Record that a memory-budget Fatal fired, so the end-of-run report knows memory was actually the problem.