Catch Go bugs that fuzzing misses with Gemini and a constraint solver

Pairing Go's compiler bounds-check traps with Gemini 4 Argon and the Z3 constraint solver catches latent out-of-bounds panics in Go code and reveals a slice-capacity blind spot in go test -fuzz.