Get rid of some uninitialized warnings

The test is not not entirely accurate or doing what I want, but
haven't quite figured out how to test what I want.
Move more options into .proverc from .travis.yml

Because I actually want to use them all.