big: fix ProbablyPrime bug, comments (changes adopted from alc, agl) R=agl1, agl CC=golang-dev https://golang.org/cl/181137