Add options to .proverc for better outputs