Disallow non-7-bit ASCII in SMT-LIB input.