Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution