Add another configuration

[bennn]

These "typed-worst-case" configurations don't have any typed -> untyped exports.

That's bad because TR generates different contracts for those exports because of the optimizer. The different contracts might have different performance --- so let's measure it!

I'm not sure yet how to pick a configuration. Maybe we need more than one.

• use slowest mixed config?
• make a require/typed kind of macro that flips the contracts (using an untyped submod and unsafe-provide?)
• ???

[bennn]

let's pick one slow config