Add -fpedantic-bottoms, and document it