Update to new Proverbot version

[AishwaryaSivaraman]

For the oopsla submission we use an older version of proverbot (a39b71f8304994cb1b6be03b8e8b5efcb0b49404). We need to update this to the latest version of proverbot and check if we get similar or better performance on the benchmark lemmas.