Faster hash for short inputs.

Instead of encoding/decoding state twice from bytes to ints, use int
array for state, and then encode it at the end, as it's normally done.