Do not print GC times in developer mode (the times are unstable)