Removed code generator from miniboxed branch
Adapted benchmarks to miniboxing