cbmc: bump timeout one more time.