exhaustive_8bit and 8bit intrinsics: add
exhaustive_16bit and remaining 16bit intrinsics: add
exhaustive_*: clearer failure message, include expected value
README.md: initial add