[creduce-dev] paper using c-reduce as a baseline

[John Regehr <regehr@cs.utah.edu>]

"Compared to two state-of-the-art
program reducers C-Reduce and Perses, which time out on 6 programs and 2 
programs respectively in 12 hours, Chisel runs up to
7.1x and 3.7x faster and finishes on all programs."

https://www.cis.upenn.edu/~mhnaik/papers/ccs18.pdf