LLVM Evaluation Tracking issue

[alexkeizer]

This issue serves as collection of all the issues we've currently got floating around that relate to the LLVM evaluation:

• Bug: the LLVM evaluation is broken #1754
• slow proofs #802
• slow llvm benchmarks #766