Expanding benchmarks

[Dimosts]

PyConA should expand its benchmark list, to include more benchmarks used in CA papers.

This issue will serve as a discussion venue for benchmarks to include.