SMT query batching

[nikswamy]

Pulse issues separate SMT queries for every proof obligation, effectively behaving like --split_queries always. This can be needlessly slow when a program has many small queries. We should add support to batch queries.

[mtzguido]

The mechanism is already implemented (#65) but it didn't look like a clear improvement, so we'll revisit to see if it makes sense to enable it.