This will need some motivation and rationale, but the TL;DR is that they are very hard to use correctly, and they cause subtle bugs that take a lot of people a lot of time to debug. They aren't in the path towards stabilization either, so those who really need them can migrate towards using inline assembly instead, which is just as unstable.

We should probably phase in a deprecation warning first, and remove them some time later.