Add a few assertions to check that float16_t's bits can be reinterpreted as the bits of a IEEE754 binary16 number.
Add a few assertions to check that float16_t's bits can be reinterpreted
as the bits of a IEEE754 binary16 number.

myrtleTree33/Halide,tdenniston/Halide,adasworks/Halide,kgnk/Halide,mcanthony/Halide,dan-tull/Halide,smxlong/Halide,kgnk/Halide,mcanthony/Halide,delcypher/Halide,fengzhyuan/Halide,dan-tull/Halide,tdenniston/Halide,kenkuang1213/Halide,psuriana/Halide,kgnk/Halide,adasworks/Halide,fengzhyuan/Halide,kenkuang1213/Halide,dougkwan/Halide,ronen/Halide,ronen/Halide,adasworks/Halide,tdenniston/Halide,ronen/Halide,smxlong/Halide,fengzhyuan/Halide,myrtleTree33/Halide,delcypher/Halide,psuriana/Halide,kenkuang1213/Halide,ronen/Halide,fengzhyuan/Halide,smxlong/Halide,adasworks/Halide,psuriana/Halide,dan-tull/Halide,delcypher/Halide,adasworks/Halide,jiawen/Halide,delcypher/Halide,dan-tull/Halide,jiawen/Halide,kenkuang1213/Halide,jiawen/Halide,smxlong/Halide,tdenniston/Halide,kgnk/Halide,tdenniston/Halide,smxlong/Halide,dan-tull/Halide,kgnk/Halide,tdenniston/Halide,kgnk/Halide,dougkwan/Halide,smxlong/Halide,psuriana/Halide,psuriana/Halide,kenkuang1213/Halide,kgnk/Halide,adasworks/Halide,adasworks/Halide,mcanthony/Halide,smxlong/Halide,adasworks/Halide,mcanthony/Halide,fengzhyuan/Halide,jiawen/Halide,jiawen/Halide,ronen/Halide,mcanthony/Halide,ronen/Halide,jiawen/Halide,jiawen/Halide,dan-tull/Halide,delcypher/Halide,myrtleTree33/Halide,dan-tull/Halide,smxlong/Halide,myrtleTree33/Halide,kenkuang1213/Halide,kenkuang1213/Halide,tdenniston/Halide,ronen/Halide,ronen/Halide,kgnk/Halide,fengzhyuan/Halide,myrtleTree33/Halide,delcypher/Halide,dougkwan/Halide,myrtleTree33/Halide,kenkuang1213/Halide,dougkwan/Halide,psuriana/Halide,dougkwan/Halide,delcypher/Halide,fengzhyuan/Halide,tdenniston/Halide,myrtleTree33/Halide,fengzhyuan/Halide,dougkwan/Halide,dougkwan/Halide,mcanthony/Halide,dougkwan/Halide,mcanthony/Halide,dan-tull/Halide,delcypher/Halide,myrtleTree33/Halide,mcanthony/Halide,psuriana/Halide