Fix mistake in `toJVMType`.
Fix mistake in `toJVMType`.

Java's `char` is 16 bits, not 8. Type `byte` is 8 bits.

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