usage: leanir <setup.json> <output.ir> <output.c> [--stat] <-Dopt=val>...