compiler/arm/type-vops: Add type checks VOPs for unsigned and signed byte 32

* The code is a mix of the mips and sparc versions with instructions
  adjusted to ARM.