updating proof template
Merge branch 'auto-batch' of github.com:JHUISI/charm into auto-batch