Add partial support for the CharAt operation on strings using the CVC4 solver (only works with a dev version of the solver)