Возможен ли overflow целых чисел в Go?

Да. Арифметика целых - по модулю 2^n, overflow и underflow не проверяются. Например, var u uint8 = 255; u++ даёт 0. Для проверки переполнения используют пакет math/bits или явные проверки перед операциями.