Added addrspacecast instruction

Also added type validation to addrspacecast and revised type validation
for bitcast.