Whitespace tidy `proof.bin.js`.