Another round of benchmarking

Performance is going down all the time. We are now at 10.7 x faster
compared to interpreted code. Mostly likely, recent necessary fixes to
the pattern matching code are the culprit this time.