Allow the user to specify that bootstrapping is forbidden

A user of HEIR reached out to mention they wanted to compile a model, and when I compiled it, HEIR believed that bootstrapping was necessary, when in fact, provided a mild number of levels (~20), the model could run just fine.

We should provide a high-level configuration option to HEIR that allows the user to essentially say, "no bootstrapping at all" and instead they can provide a level budget upper bound, and then HEIR will either stay within that level budget or else report a nice error that it cannot.

I think this should be possible with the existing passes, and it should just require properly plumbing through pass options.