Enable batched optimizations and split solver instantiations.

[pratikvn]

With #1652, the batched solver instantiations were disabled. Before, the next release, we need to ensure that they are enabled again, possibly re-using the ideas in #1629