Differences in code formatting between Go versions cause constant problems for us (https://github.com/golang/go/issues/25161). Currently we support 1.9 and 1.10. Switch to newer 1.11 and 1.12. Fixes #1013
-cover=0 is the default now -procs=16 looks too high, syzbot uses 6-8 so let's suggest 8