alternative hybrid implementation + benchmarks

I tried another variant of the hybrid graph representation (which cannot
represent "empty" nodes). Benchmarks showed no appreciable difference in
performance compared to the straightforward representation.

I also changed the implementation of the benchmarks so that they
evaluate the generated arguments to normal form before running the
benchmark.