Add string->int and int->string coercion support for our CVC4 SMT backend

This commit also disables our string->int coercion optimization - at least until we merge the code identifying cases in which this optimization is safe to use.

For now this solves the problem observed in #95