Function report 

pub fn report(crate_name: &str)

Print the timing report on stderr, and append it to the file given in CHARON_TIMINGS if it isn’t 1.