1.0.14.39: make GENCGC gencgc_zero_check=1 proof again