Simple benchmarks for SpiderMonkey's Debugger API