Use latest Proofer

Proofer is much better now. Related to #379.