Show program size in the simplifier-bailing-out message