Bug 1037541 - Implement AVM2 opcode astype (0x86)

@mbebenita, please check if I did things correctly here. I think it should all be ok, but I'm not sure about the verifier change. Hence the TODO in there.