Enable verification of more intrinsics (#309)

Looks like intrinsics that weren't listing a target feature were accidentally
omitted from the verification logic, so this commit fixes that!

Along the way I've ended up filing #307 and #308 for detected inconsistencies.