certifier report: count number of inlining sites

[zliu41]

Now the report includes the number of inlining sites, e.g:

──────────────────────────────────────────────────────
Pass 6: Inlining  ✅
──────────────────────────────────────────────────────
  Program Size Before: 14130
  Program Size After: 13396
  Optimization sites: 387

Each `↓ in the proof is an inlining site.

[basetunnel]

Could we also merge #7574 soon? Otherwise I need to keep rebasing that with every certifier change.

[zliu41]

Could we also merge #7574 soon? Otherwise I need to keep rebasing that with every certifier change.

I think there are test failures? I'll take a final look once CI is green.