Generalize treatment of `ExtCns` subterms
Generalize treatment of `ExtCns` subterms

Now the `withBitBlastedTerm` and `withBitBlastedPred` functions handle
both bound and free (`ExtCns`) variables. Bound variables come first in
the list of first-order variables passed to the given function, followed
by free variables.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script