Display Benchmarks

[HaoZeke]

Figure out how / when to run / update these.

• Consider the RUBI benchmark set of problems
  • The visualization could definitely be improved
• Consider the Sympy setup, visualized here
• Also the PyPy benchmark