redex: move benchmark into a separate package

Also:
* migrate all models from the diff-based method to
  an in-langauge approach using macros
* add a better interface for the harness
* add docs for
redex: fix benchmark package dependencies