Make StringRegexReplace and StringReplace transparent to a successful CoercionPromise in the CVC4 constraint writer.

This allows local coercions of input->int which include replacements and fixes the jquery-val-test.html example. The issue with StringRegexReplace was introduced in dcedc717.
Hide the type-mixing.html example from the test suite, as it is not yet supported. See c6455755.