Finish promisifying the proof message.

Again, I seem to have already promisified the function, but now it's
fully tested.