Various changes to speed up the Z-code interpreter on Android by maybe 3-5%.