Add support for stability attributes: #[deprecated], #[experimental], etc.

Significant progress on #6875, enough that I'll open new bugs and turn that into a metabug when this lands.

Description & example in the commit message.