.gitconfig: remove broken alias test-ri
.zshrc: add helper git-prove-all()

Hammer to rebase-exec-prove everything.